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.
Lieferbar
ISBN | 9780262026499 |
---|---|
Sprache | eng |
Cover | Fester Einband |
Verlag | MIT Press |
Jahr | 20080425 |
Dieser Artikel hat noch keine Bewertungen.