Real-Time Systems: Formal Specification and Automatic Verification
Dierks, Henning
New
From
Mesilla Internet, Las Cruces, NM, U.S.A.
Seller rating 2 out of 5 stars
AbeBooks Seller since 9 May 2025
This specific copy is no longer available. Here are our closest matches for Real-Time Systems: Formal Specification and Automatic Verification by Dierks, Henning.
About this Item
Bibliographic Details
Title: Real-Time Systems: Formal Specification and ...
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Used
Hardcover
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007278795
Stock Image
Real-Time Systems: Formal Specification And Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-184042
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks143631
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521883337_new
Buy New
£ 87.14
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190020196
Seller Image
Real-Time Systems: Formal Specification and Automatic Verification
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, time. Seller Inventory # 594767276
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521883334
Stock Image
Real-Time Systems: Formal Specification and Automatic Verification
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. Seller Inventory # x-0521883334
Buy New
£ 128.89
Shipping:
£ 12.50
From United Kingdom to U.S.A.
Quantity: 2 available