search for books and compare prices
Andrâ M. Van Tilborg has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management. 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...read more
Paperback:
9781461367666 | Reprint edition (Springer-Verlag New York Inc, December 22, 2012), cover price $189.00 | About this edition: This volume contains a selection of papers that focus on the state-of the-art in real-time scheduling and resource management.
Product Description: 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...read more
Paperback:
9781461367963 | Reprint edition (Springer-Verlag New York Inc, October 12, 2012), cover price $189.00 | About this edition: 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.
displaying 1 to 2 |
at end