André M. van Tilborg – författare
Visar alla böcker från författaren André M. van Tilborg. Handla med fri frakt och snabb leverans.
5 produkter
Foundations of Real-Time Computing: Scheduling and Resource Management
Av André M. van Tilborg, Gary M. Koob
Inbunden, 1991
1664 kr
Lägg i varukorg
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 …
Foundations of Real-Time Computing: Formal Specifications and Methods
Av André M. van Tilborg, Gary M. Koob
Inbunden, 1991
1664 kr
Lägg i varukorg
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 …
Foundations of Real-Time Computing: Scheduling and Resource Management
Av André M. van Tilborg, Gary M. Koob
Häftad, 2012
1668 kr
Lägg i varukorg
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 …
Foundations of Real-Time Computing: Formal Specifications and Methods
Av André M. van Tilborg, Gary M. Koob
Häftad, 2012
1668 kr
Lägg i varukorg
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 …
Foundations of Real-Time Computing: Scheduling and Resource Management
Av Gary M. Koob, Andre M. van Tilborg
E-bok, 2012
2174 kr
Lägg i varukorg
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 …