The calculus of computation decision procedures with applications to verification

The calculus of computation decision procedures with applications to verification

Xehetasun bibliografikoak
Egile nagusia: Bradley, Aaron R.
Beste egile batzuk: Manna, Zohar
Formatua: Liburua
Hizkuntza:English
Argitaratua: Berlin Springer 2007.
Gaiak:
Computer logic.
Computer programs > Verification.