Order Total (1 Item Items):
Shipping Destination:
Dierks Henning (13 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (13)
- 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 (10)
- As New, Fine or Near Fine (1)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (9)
Language (2)
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
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
-
Information - Dokumentation - Koordination (IDK) im naturwissenschaftlich-technischen Bildungsbereich: Eine Planungsstudie. IPN-Kurzbericht 1;
Language: German
Published by Institut für die Pädagogik der Naturwissenschaften, 1975
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert; Condition: Gut. 62 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Insgesamt ordentlicher Erhaltungszustand; Sprache: Deutsch Gewicht in Gramm: 100.
-
Real-Time Systems: Formal Specification and Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
£ 26.23 10% off£ 23.61
£ 14.05 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
Hardcover. Condition: New.
-
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
£ 93.82
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Hardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.
-
Knowledge on the Move in a Transottoman Perspective
Language: English
Published by V&R unipress|Brill Deutschland GmbH, 2021
ISBN 10: 384711185X ISBN 13: 9783847111856
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Retracing processes of knowledge mobility at the crossroads between Eastern Europe and the Middle East, this book helps to discover unexpected connections between spaces, time periods and discourses.Understanding flows of knowledge in a transcultural sett.
-
Hardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand.
-
Real-Time Systems (Hardcover)
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
First Edition Print on Demand
Hardcover. Condition: new. Hardcover. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation. 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, timed automata, and PLC-automata. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Real-Time Systems: Formal Specification and Automatic Verification
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
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.
