TY  - BOOK
AU  - Huth,Michael
AU  - Ryan,Mark
TI  - Logic in computer science: modelling and reasoning about systems 
SN  - 052154310X [paperback]
PY  - 2004///
CY  - Cambridge [U.K.], New York
PB  - Cambridge University Press
KW  - Computer logic
KW  - Logic programming
N1  - Includes bibliography (pages 414-417) and index; Contents: 1 Propositional logic -- 2 Predicate logic -- 3 Verification by model checking -- 4 Program verification -- 5 Modal logics and agents -- 6 Binary decision diagrams
UR  - http://www.loc.gov/catdir/samples/cam041/2004045921.html
UR  - http://www.loc.gov/catdir/toc/cam041/2004045921.html
UR  - http://www.loc.gov/catdir/description/cam041/2004045921.html
ER  -