The calculus of computation decision procedures with applications to verification

Dades bibliogràfiques
Autor principal:	Bradley, Aaron R.
Altres autors:	Manna, Zohar
Format:	Llibre
Idioma:	English
Publicat:	Berlin Springer 2007.
Matèries:	Computer logic. Computer programs > Verification.