Logic in computer science

Título:

Logic in computer science: modelling and reasoning about systems

Autor:

Huth, Michael

Colaboradores:

Ryan, Mark

Temas:

LÓGICA COMPUTACIONAL ; 

Edición:

2nd ed.

Localización electrónica:

Descripción física:

xiv, 427 p.:il.  ; 25 cm.

ISBN:

9780521543101

Idioma:

Inglés, 

País:

Reino Unido

Publicación:

Inglaterra : Cambridge University Press, 2004

Puede solicitar más fácilmente el ejemplar con: F.4.1 HUT

Propositional logic
Predicate logic
Verification by model checking
Program verification
Modal logic and agents
Binary decision diagrams.