Modelado y razonamiento sobre sistemas van Michael Huth es un libro de estudio sobre el razonamiento formal en ciencias de la computación. Se centra en métodos para modelar, especificar y verificar sistemas con un enfoque en técnicas formales y model checking.
Esta segunda edición ofrece una introducción profunda al razonamiento formal, adaptada a las necesidades actuales de la informática. El texto se ha ampliado con nuevos capítulos extensos sobre solucionadores SAT, lógica de segundo orden, micro-modelos y verificación de programas. El contenido apoya a estudiantes y profesionales con explicaciones claras y ejercicios adicionales, incluidas soluciones en línea.
Características
- Autor: Michael Huth (Imperial College London)
- Editorial: Cambridge University Press
- Formato: Tapa blanda comercial (EE. UU.)
- Fecha de publicación: 26 de agosto de 2004
- Número de páginas: 440
- ISBN: 9780521543101
- Tema: Teoría matemática de la computación
- BISAC: COMPUTERS / Machine Theory