The calculus of computation decision procedures with applications to verification

Detalles Bibliográficos
Autor Principal:	Bradley, Aaron R.
Outros autores:	Manna, Zohar
Formato:	Libro
Idioma:	English
Publicado:	Berlin Springer 2007.
Subjects:	Computer logic. Computer programs > Verification.