The calculus of computation decision procedures with applications to verification

The calculus of computation decision procedures with applications to verification

Bibliografiska uppgifter
Huvudupphovsman: Bradley, Aaron R.
Övriga upphovsmän: Manna, Zohar
Materialtyp: Bok
Språk:English
Publicerad: Berlin Springer 2007.
Ämnen:
Computer logic.
Computer programs > Verification.