The calculus of computation decision procedures with applications to verification

Detalles Bibliográficos
Autor principal:	Bradley, Aaron R.
Otros Autores:	Manna, Zohar
Formato:	Libro
Lenguaje:	English
Publicado:	Berlin Springer 2007.
Materias:	Computer logic. Computer programs > Verification.