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