Real-Time Systems: Formal Specification and Automatic Verification

Olderog, Ernst-R�diger; Dierks, Henning

ISBN 10: 0521883334 ISBN 13: 9780521883337

Published by Cambridge University Press, 2008

Language: English

Used Condition: Like New Hardcover

Save for Later

From Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars

AbeBooks Seller since 15 April 2021

View this seller's items

View all copies of this book

Used - Hardcover

Price: � 47 Convert Currency

� 25 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

Like NewLIKE NEW. Seller Inventory # ERICA83605218833343

Contact seller

Report this item

Bibliographic Details

Title: Real-Time Systems: Formal Specification and ...

Publisher: Cambridge University Press

Publication Date: 2008

Binding: Hardcover

Condition: Like New

Book Type: book

About this title

Synopsis:

Rare Book

Book Description:

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.

"About this title" may belong to another edition of this title.

Store Description

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Visit Seller's Storefront