Logic in computer science : modelling and reasoning about systems - Huth, Michael; Ryan, Mark (Inglaterra : Cambridge University Press, 2004)
Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logic and agents -- Binary decision diagrams.
Keywords: LÓGICA COMPUTACIONAL