search for books and compare prices
computer systems verification matches 6 work(s)
displaying 1 to 6 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on...read more
Hardcover:
9781402070259 | Kluwer Academic Pub, April 1, 2002, cover price $159.00 | About this edition: With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically.
Paperback:
9781461353492 | Reprint edition (Springer-Verlag New York Inc, October 26, 2012), cover price $159.00 | About this edition: With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically.
Product Description: This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them...read more
Hardcover:
9783540002963 | Springer-Verlag New York Inc, December 1, 2003, cover price $109.00
Paperback:
9783642055553 | Reprint edition (Springer-Verlag New York Inc, December 7, 2010), cover price $109.00 | About this edition: This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems.
Hardcover:
9781420062663 | CRC Pr I Llc, February 4, 2009, cover price $125.95
Hardcover:
9780262026499 | Mit Pr, May 31, 2008, cover price $75.00
Product Description: Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique...read more (view table of contents, read Amazon.com's description)
Hardcover:
9783540415237 | Springer-Verlag New York Inc, August 1, 2001, cover price $109.00 | About this edition: Model checking is a powerful approach for the formal verification of software.
(view table of contents)
Hardcover:
9780262032704 | Mit Pr, January 7, 2000, cover price $72.00
displaying 1 to 6 |
at end