
Powiedz znajomym o tym przedmiocie:
Principles of Model Checking - Principles of Model Checking
Baier, Christel (Technische Universitat Dresden)
Principles of Model Checking - Principles of Model Checking
Baier, Christel (Technische Universitat Dresden)
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.
984 pages, illus.
Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 25 kwietnia 2008 |
ISBN13 | 9780262026499 |
Wydawcy | MIT Press Ltd |
Strony | 984 |
Wymiary | 206 × 258 × 42 mm · 2,09 kg |