Principles of model checking

Principles of model checking

Dettagli Bibliografici
Autore principale: Baier, Christel
Altri autori: Katoen, Joost-Pieter
Natura: Libro
Lingua:English
Pubblicazione: Cambridge, Mass. MIT Press [2008?]
Soggetti:
Computer systems > Verification.
Computer software > Verification.
Accesso online:Table of contents only