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