TY  - BOOK
AU  - Bradley,Aaron R.
AU  - Manna,Zohar
TI  - The calculus of computation: decision procedures with applications to verification 
SN  - 9783540741121
PY  - 2007///
CY  - Berlin
PB  - Springer
KW  - Computación por dispositivos abstractos
KW  - Lógica matemática
KW  - Verificación de programas
KW  - Computation by abstract devices
KW  - Mathematical logic
KW  - Program verification
N1  - With 60 figures; Includes bibliographical references (p.[351]-355) and index
UR  - http://www.loc.gov/catdir/toc/fy0803/2007932679.html
UR  - http://www.loc.gov/catdir/enhancements/fy0904/2007932679-d.html
ER  -