search for books and compare prices
Foundations of Real-Time Computing: Formal Specifications and Methods
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from Kluwer Academic Pub (June 1, 1991)
9780792391678 | details & prices | 6.75 × 10.00 × 1.25 in. | 1.65 lbs | List price $189.00
About: This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.
About: This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.