TY  - BOOK
AU  - Huth,Michael
AU  - Ryan,Mark
TI  - Logic in computer science: modelling and reasoning about systems
SN  - 9780521543101
PY  - 2004///
CY  - Inglaterra
PB  -  Cambridge University Press
KW  - LÓGICA COMPUTACIONAL
N1  -  Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logic and agents -- Binary decision diagrams
ER  -