1 / 1
- 2008
- year of publication
- 984
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6202-649-9
- EAN
- 9780262026499
- Publication date
- 2008-04-25
- Book
- Principles of Model Checking · 1 edition
The publisher on this edition
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our...