TY  - BOOK
AU  - Huth, Michael
TI  - Logic in computer science: modelling and reasoning about systems
SN  - 0521670896 (pbk)
U1  - 005.131 
PY  - 2004///
CY  - UK
PB  - Cambridge University Press
KW  - Computer science
KW  - Mathematical induction
KW  - Programming language
KW  - Logic engineering
KW  - Patterns
KW  - Computer logic and design
KW  - Binary Decision Diagrams
KW  - FC
ER  -