The calculus of computation decision procedures with applications to verification

Bibliographische Detailangaben
1. Verfasser:	Bradley, Aaron R.
Weitere Verfasser:	Manna, Zohar
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin Springer 2007.
Schlagworte:	Computer logic. Computer programs > Verification.