The calculus of computation decision procedures with applications to verification

The calculus of computation decision procedures with applications to verification

Opis bibliograficzny
1. autor: Bradley, Aaron R.
Kolejni autorzy: Manna, Zohar
Format: Książka
Język:English
Wydane: Berlin Springer 2007.
Hasła przedmiotowe:
Computer logic.
Computer programs > Verification.