The calculus of computation decision procedures with applications to verification

The calculus of computation decision procedures with applications to verification

Manylion Llyfryddiaeth
Prif Awdur: Bradley, Aaron R.
Awduron Eraill: Manna, Zohar
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Berlin Springer 2007.
Pynciau:
Computer logic.
Computer programs > Verification.