Items related to Temporal Logic for Real–Time Systems (Research...
Temporal Logic for Real–Time Systems (Research Studies Press series in advanced software development) - Hardcover
Synopsis
Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.
"synopsis" may belong to another edition of this title.
Search results for Temporal Logic for Real–Time Systems (Research...
Stock Image
Temporal Logic for Real-time Systems (Research Studies Press Series in Advanced Software Development)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-T-016-02052
Buy Used
£ 17.96
£ 10.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic for Real-time Systems (Research Studies Press Series in Advanced Software Development)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 224 pp., Hardcover, previous owner's name to front free endpaper, several page corners bent else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1289826
Stock Image
Temporal Logic for Real-time Systems (Research Studies Press series in advanced software development)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 41403477/202