search for books and compare prices
Helmut Veith has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783319105741 Cover for 9783642397981 Cover for 9783540698494
Handbook of Model Checking
cover image for 9783319105741
Product Description: Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry...read more
By Helmut Veith (editor)
See complete details on each edition (1 edition listed)

Hardcover:

9783319105741 | Springer-Verlag New York Inc, March 11, 2017, cover price $149.00 | About this edition: Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems.

Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
cover image for 9783642397981
By Natasha Sharygina (editor) and Helmut Veith (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642397981 | Springer-Verlag New York Inc, July 14, 2013, cover price $167.00

25 Years of Model Checking: History, Achievements, Perspectives
cover image for 9783540698494
By Helmut Veith (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540698494 | Springer-Verlag New York Inc, August 3, 2008, cover price $49.99

displaying 1 to 3 | at end