Synopsis
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
"synopsis" may belong to another edition of this title.
About the Authors
E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).
H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.
"About this title" may belong to another edition of this title.
Search results for Real-Time Systems: Formal Specification and Automatic...
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: 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. Seller Inventory # GOR014967857
Buy Used
£ 10.72
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
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: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. 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. Seller Inventory # H-434-343
Stock Image
Real-Time Systems
Published by
Cambridge University Press CUP, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 320. Seller Inventory # 26531931
Stock Image
Real-Time Systems
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 320 Illus. Seller Inventory # 8364548
Buy New
£ 43.53
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Real-Time Systems
Published by
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 320. Seller Inventory # 18531921
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 # ABBB-175285
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: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-103730
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: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # SNTA-175285
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: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521883337