Principles of model checking

Principles of model checking

Dades bibliogràfiques
Autor principal: Baier, Christel
Altres autors: Katoen, Joost-Pieter
Format: Llibre
Idioma:English
Publicat: Cambridge, Mass. MIT Press [2008?]
Matèries:
Computer systems > Verification.
Computer software > Verification.
Accés en línia:Table of contents only