Fortell venner om denne varen:
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
Kč 3.914
Bestillingsvarer
Forventes levert 7. - 18. aug
Legg til iMusic ønskeliste
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. august 1991 |
| ISBN13 | 9780792391678 |
| Utgivere | Springer |
| Antall sider | 316 |
| Mål | 155 × 235 × 19 mm · 639 g |
| Redaktør | Koob, Gary M. |
| 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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1583531776)