search for books and compare prices
Andre 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
Foundations of Real-Time Computing: Formal Specifications and Methods
cover image for 9780792391678
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
By Gary M. Koob (editor) and Andre M. Van Tilborg
See complete details on each edition (1 edition listed)

Hardcover:

9780792391678 | Kluwer Academic Pub, June 1, 1991, 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.

Foundations of Real-Time Computing: Scheduling and Resource Management
cover image for 9780792391661
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
By Gary M. Koob (editor) and Andre M. Van Tilborg
See complete details on each edition (1 edition listed)

Hardcover:

9780792391661 | Kluwer Academic Pub, June 1, 1991, 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.

displaying 1 to 2 | at end