TY  - BOOK
AU  - Bradley,Aaron R.
AU  - Manna,Zohar
TI  - The Calculus Of Computation: decision procedures with applications to verification
SN  - 3642093477 (paperback)
U1  - 004.015113BRA 
PY  - 2010///
CY  - india
PB  - Springer
KW  - Computer logic
KW  - Computer programs--Verification
KW  - Computer science
KW  - Computer software
KW  - Logic design
KW  - Information theory
KW  - Artificial intelligence
KW  - Computer network architectures
UR  - http://10.10.170.122:8080/browse/book/26622
ER  -