Brand New! Fast Delivery, Delivery With In 8-12 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. Seller Inventory # CBSBOOKS22763

Contact seller

Report this item

Bibliographic Details

Title: REAL TIME SYSTEMS FORMAL SPECIFICATION AND ...

Publisher: CAMBRIDGE UNIVERSITY PRESS

Publication Date: 2008

Binding: Hardcover

Condition: NEW

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

Abe Books' uniqueness is our network of independent booksellers who work with us to provide the most diverse selection of rare, used and out-of-print books on the Internet. It is these sellers, with their experience, commitment and love of the used and out-of-print book business who help all our buyers find that treasure they've been looking for.

Visit Seller's Storefront

Seller's business information

Terms of Sale:

We guarantee the condition of every book as it s described on the Abebooks web sites. If you are dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order has not arrived, you are eligible for a refund within 30 days of the estimated delivery date. If you ve changed your mind about a book that you have ordered, please use the Ask bookseller a question link to contact us and we will be respond within 2 business days.

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Detailed Seller Information

Payment Methods
accepted by seller

Add to Wants

Items related to REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC...

REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)

OLDEROG E R

New - Hardcover

Seller's business information