The calculus of computation decision procedures with applications to verification

Dettagli Bibliografici
Autore principale:	Bradley, Aaron R.
Altri autori:	Manna, Zohar
Natura:	Libro
Lingua:	English
Pubblicazione:	Berlin Springer 2007.
Soggetti:	Computer logic. Computer programs > Verification.