Principios de la verificación de modelos de Christel Baier, afiliada a la Technische Universität Dresden, es un completo libro de estudio sobre la verificación de modelos en informática. Esta obra de referencia ofrece conocimientos teóricos profundos y perspectivas prácticas, adecuada para estudiantes y profesionales que desean profundizar en técnicas de verificación formales.
Especificaciones del producto
- Autor: Christel Baier (Technische Universität Dresden)
- Serie: Principles of Model Checking
- Editor: MIT Press Ltd
- Impresión: MIT Press
- Fecha de publicación: 2008-04-25
- Número de páginas: 984
- ISBN: 9780262026499
- Tema: Ciencias de la computación
- BISAC: COMPUTERS / Computer Science