Tallenna
Foundations of Real-Time Computing: Scheduling and Resource Management
sidottu, 1991
englanti
A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems.
- Toimittaja
- André M. van Tilborg, Gary M. Koob
- Painos
- 1991 ed.
- ISBN
- 9780792391661
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 31.7.1991
- Kustantaja
- Springer
- Sivumäärä
- 326
