.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Foundations of Real-Time Computing
. Ed(S): Van Tilborg, Andre M.; Koob, Gary M.
€ 200.43
FREE Delivery in Ireland
Description for Foundations of Real-Time Computing
Hardback. 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: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
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
Hardback
Publication date
1991
Publisher
Kluwer Academic Publishers 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
Dordrecht, Netherlands
ISBN
9780792391678
SKU
V9780792391678
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Foundations of Real-Time Computing