Gary M. Koob – författare
Visar alla böcker från författaren Gary M. Koob. Handla med fri frakt och snabb leverans.
14 produkter
Foundations of Dependable Computing
Paradigms for Dependable Applications
Av Clifford G. Lau, Gary M. Koob
E-bok, 2007
2174 kr
Lägg i varukorg
Foundations of Dependable Computing: Paradigms for Dependable Applications , presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems , and built on the lower level …
Foundations of Dependable Computing
Models and Frameworks for Dependable Systems
Av Clifford G. Lau, Gary M. Koob
E-bok, 2007
2174 kr
Lägg i varukorg
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book''s two companion volumes. …
Foundations of Dependable Computing
System Implementation
Av Clifford G. Lau, Gary M. Koob
E-bok, 2007
2174 kr
Lägg i varukorg
Foundations of Dependable Computing: System Implementation , explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications . Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and …
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 Dependable Computing
Models and Frameworks for Dependable Systems
Av Gary M. Koob, Clifford G. Lau
Inbunden, 1994
1664 kr
Lägg i varukorg
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. …
Foundations of Dependable Computing
Paradigms for Dependable Applications
Av Gary M. Koob, Gary M. Koob m. fl.
Inbunden, 1994
1664 kr
Lägg i varukorg
"Foundations of Dependable Computing: Paradigms for Dependable Applications", presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher-level fault models of "Models and Frameworks for Dependable Systems", and built on the lower-level …
Foundations of Dependable Computing
System Implementation
Av Gary M. Koob, Gary M. Koob m. fl.
Inbunden, 1994
1664 kr
Lägg i varukorg
"Foundations of Dependable Computing: System Implementation", explores the system infrastructure needed to support the various paradigms of "Paradigms for Dependable Applications". Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection …
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 …
Foundations of Dependable Computing
Paradigms for Dependable Applications
Av Gary M. Koob, Clifford G. Lau
Häftad, 2013
1668 kr
Lägg i varukorg
Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level …
Foundations of Dependable Computing
Models and Frameworks for Dependable Systems
Av Gary M. Koob, Clifford G. Lau
Häftad, 2013
1668 kr
Lägg i varukorg
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. …
Foundations of Dependable Computing
System Implementation
Av Gary M. Koob, Clifford G. Lau
Häftad, 2013
1668 kr
Lägg i varukorg
Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and …
