The calculus of computation decision procedures with applications to verification

The calculus of computation decision procedures with applications to verification

Podrobná bibliografie
Hlavní autor: Bradley, Aaron R.
Další autoři: Manna, Zohar
Médium: Kniha
Jazyk:English
Vydáno: Berlin Springer 2007.
Témata:
Computer logic.
Computer programs > Verification.