TY  - BOOK
AU  - Bradley,Aaron R.
AU  - Manna,Zohar
TI  - Calculus of computation: decision procedures with applications to verification 
SN  - 3540741127
AV  - QA76.9L63 B73
PY  - 2007///
CY  - Berlin
PB  - Springer Verlag
KW  - Lógica computacional
KW  - Programas para computadora
KW  - Verificación
ER  -