Fortæl dine venner om denne vare:
Foundations of Real-Time Computing: Scheduling and Resource Management - The Springer International Series in Engineering and Computer Science 1991 edition
Andri M Van Tilborg
Pris
Mex$ 3.726,25
Bestilles fra fjernlager
Forventes klar til forsendelse 1. - 7. aug.
Tilføj til din iMusic ønskeseddel
Eller
Foundations of Real-Time Computing: Scheduling and Resource Management - The Springer International Series in Engineering and Computer Science 1991 edition
Andri M Van Tilborg
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.
326 pages, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 31. juli 1991 |
| ISBN13 | 9780792391661 |
| Forlag | Springer |
| Antal sider | 326 |
| Mål | 155 × 235 × 20 mm · 653 g |
| Sprog | Engelsk |
| Klipper/redaktør | Koob, Gary M. |
| Klipper/redaktør | Van Tilborg, Andre M. |
![Cover for Andri M Van Tilborg · Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science (Hardcover bog) [1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/678/9780792391678.jpg?andri-m-van-tilborg-1991-foundations-of-real-time-computing-formal-specifications-and-methods-the-springer-international-series-in-engineering-and-computer-science-hardcover-bog&class=scaled&v=1582776440)