About this title: 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: ...
read more
Note: This is a general synopsis. Each listing is described below.
Description: Good. Has a one inch tear to top edge of back cover. In addition, shows some minor shelf-wear on rest of cover. Otherwise, volume in very good condition with tight binding and bright pages that contain no highlighting, underlining or other markings normally indicative of use. Hall Street Books proudly ships from Brooklyn, NY. 100% money back "No-Worry" guarantee with expedited delivery and delivery confirmation available. read more
Publisher: Cambridge University Press
Date Published: 2008
ISBN-13:9780521883337ISBN:0521883334
Description: BRAND NEW. 9.96 by.75 inches. (344 pages) explains real-time specification techniques (duration calculus, timed automata, and plc-automata) needed for embedded safety-critical applications. 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. an airbag in a car has ... read more
Binding: Hardcover
Publisher: Cambridge University Press
Date Published: 2008-10-06
ISBN-13:9780521883337ISBN:0521883334
Description: Like New. Hardcover. No writing or markings seen in text. Very nice, clean book. All orders are carefully packaged and processed within 24 hours. read more
Description: New. 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. read more
Description: Good. 0521883334 Good condition. May have some markings & or shelfwear. All pages intact. Used items may not include extras such as infotrac, CD or other web access codes. read more
Binding: Hardcover
Publisher: Cambridge University Press
ISBN-13:9780521883337ISBN:0521883334
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Delivery is typically 5-10 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. read more
Binding: Hardcover
Publisher: Cambridge University Press
ISBN-13:9780521883337ISBN:0521883334
Description: New. PLEASE NOTE: All books are promptly imported from the UK using International Priority Airmail. Delivery is typically 5-10 working days. Please do not select expedited shipping. Heavier and more expensive items have tracking number. Professional and reliable bookseller (est.1987). Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. read more
Description: New. Please note that deliveries to addresses in the UK and Europe will be in 4-14 business days. Other countries should refer to Alibris standard times. ISBN10: 0521883334. read more
Description: New. 0521883334 Absolutely Brand New. No marks and in pristine condition. Used items may not include extras such as infotrac, CD or other web access codes. read more
Binding: Hardcover
Publisher: Cambridge University Press
ISBN-13:9780521883337ISBN:0521883334
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail International Priority mail. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
