Stock image for illustration purposes only - book cover, edition or condition may vary.
Foundations of Real-Time Computing: Formal Specifications and Methods
. Ed(S): Van Tilborg, Andre M.; Koob, Gary M.
€ 184.91
FREE Delivery in Ireland
Description for Foundations of Real-Time Computing: Formal Specifications and Methods
Paperback. Editor(s): Van Tilborg, Andre M.; Koob, Gary M. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UL; UMX; UMZ; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
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. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into ... Read more
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. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
316
Condition
New
Series
The Springer International Series in Engineering and Computer Science
Number of Pages
316
Place of Publication
New York, NY, United States
ISBN
9781461367963
SKU
V9781461367963
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Foundations of Real-Time Computing: Formal Specifications and Methods