Principles of model checking

Principles of model checking

Detalhes bibliográficos
Autor principal: Baier, Christel
Outros Autores: Katoen, Joost-Pieter
Formato: Livro
Idioma:English
Publicado em: Cambridge, Mass. MIT Press [2008?]
Assuntos:
Computer systems > Verification.
Computer software > Verification.
Acesso em linha:Table of contents only