Huth, Michael <br/><br/>
Logic in computer science :  modelling and reasoning about systems 

 - 2nd ed. 
 - Inglaterra :   Cambridge University Press,  2004 
 - xiv, 427 p. :  il.  ;  25 cm. 
<br/><br/>Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logic and agents -- Binary decision diagrams. 
<br/><br/><label>ISBN: </label>9780521543101 
<br/><br/><label>Standard No.: </label>DIF-M2876 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA COMPUTACIONAL