Order Total (1 Item Items):
Shipping Destination:
Ernst Rudiger Olderog, Henning Dierks (8 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (8)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (8)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (1)
- Not Print on Demand (6)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Real-Time Systems: Formal Specification and Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
US$ 35.18 10% offUS$ 31.67
US$ 18.85 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Real-Time Systems: Formal Specification And Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Real-Time Systems: Formal Specification And Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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.
-
Real-Time Systems: Formal Specification and Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Condition: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 129.45
US$ 16.05 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 183.00
US$ 16.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.
-
US$ 133.38
US$ 16.75 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand.
-
Real-Time Systems: Formal Specification and Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
US$ 137.27
US$ 55.97 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. 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.
