The calculus of computation decision procedures with applications to verification

The calculus of computation decision procedures with applications to verification

Bibliografiske detaljer
Hovedforfatter: Bradley, Aaron R.
Andre forfattere: Manna, Zohar
Format: Bog
Sprog:English
Udgivet: Berlin Springer 2007.
Fag:
Computer logic.
Computer programs > Verification.