ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Gary M. Koob has written 7 work(s)
Search for other authors with the same name
displaying 1 to 7 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780792394846 Cover for 9781475783155 Cover for 9780792394853 Cover for 9781475783117 Cover for 9780792394860 Cover for 9781475783575 Cover for 9781461367963 Cover for 9780792391678 Cover for 9781461367666 Cover for 9780792391661
1
cover image for 9781475783155
Product Description: 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...read more
By Gary M. Koob (editor) and Clifford G. Lau (editor)
Edition summary (click for prices and details):

Hardcover:

9780792394846 | Kluwer Academic Pub, September 1, 1994, cover price $239.00 | About this edition: 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.

Paperback:

9781475783155 | Springer-Verlag New York Inc, March 21, 2013, cover price $239.00 | About this edition: 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.

2
cover image for 9781475783117
Product Description: 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 abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform...read more
By Gary M. Koob (editor) and Clifford G. Lau (editor)
Edition summary (click for prices and details):

Hardcover:

9780792394853 | Kluwer Academic Pub, November 1, 1994, cover price $219.00 | About this edition: Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level.

Paperback:

9781475783117 | Reprint edition (Springer-Verlag New York Inc, November 13, 2013), cover price $219.00 | About this edition: Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level.

3
cover image for 9781475783575
Product Description: 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 fault tolerance at the processor, network, and operating system level are presented...read more
By Gary M. Koob (editor) and Clifford G. Lau (editor)
Edition summary (click for prices and details):

Hardcover:

9780792394860 | Kluwer Academic Pub, November 1, 1994, cover price $249.00 | About this edition: Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications.

Paperback:

9781475783575 | Springer-Verlag New York Inc, April 17, 2013, cover price $249.00 | About this edition: Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications.

4
cover image for 9781461367963
Product Description: 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 Research in October, 1990 in Washington, D...read more
By Gary M. Koob (editor) and Andr‚ M. Van Tilborg (editor)
Edition summary (click for prices and details):

Paperback:

9781461367963 | Reprint edition (Springer-Verlag New York Inc, October 12, 2012), cover price $199.00 | About this edition: 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.

5
cover image for 9780792391678
Product Description: 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 Research in October, 1990 in Washington, D...read more
Edition summary (click for prices and details):

Hardcover:

9780792391678 | Kluwer Academic Pub, June 1, 1991, cover price $199.00 | About this edition: 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.

6
cover image for 9781461367666
Product Description: 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 Washington, D...read more
By Gary M. Koob (editor) and Andr‚ M. Van Tilborg (editor)
Edition summary (click for prices and details):

Paperback:

9781461367666 | Reprint edition (Springer-Verlag New York Inc, December 22, 2012), cover price $219.00 | About this edition: This volume contains a selection of papers that focus on the state-of­ the-art in real-time scheduling and resource management.

7
cover image for 9780792391661
Product Description: 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 Washington, D...read more
Edition summary (click for prices and details):

Hardcover:

9780792391661 | Kluwer Academic Pub, June 1, 1991, cover price $219.00 | About this edition: This volume contains a selection of papers that focus on the state-of- the-art in real-time scheduling and resource management.

displaying 1 to 7 | at end