por J.C. van Vliet · 2012
Ver sugerenciasSinopsis
Este libro introduce los métodos formales utilizados en la informática para probar y verificar sistemas, comenzando con la lógica booleana y avanzando hacia sistemas probabilísticos.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Al igual que el libro de referencia, este texto explora métodos formales, aplicándolos en el contexto del desarrollo y verificación de sistemas basados en componentes.
Aaron Bradley, Zohar Manna
2007·divulgacion
Este libro profundiza en fundamentos lógicos y matemáticos de la verificación de software, similar a cómo el de referencia aborda la lógica para sistemas probabilísticos.
Ambos textos utilizan técnicas lógicas formales para especificar y verificar sistemas, centrándose en garantizar el correcto funcionamiento de complejas interacciones multiagente.
Este libro se enfoca en especificación formal y verificación, utilizando métodos matemáticos en desarrollo de software, reflejando temas tratados en el libro de referencia.
Al trazar la evolución de métodos formales, este ensayo proporciona un contexto histórico similar al fondo teórico del uso de esos métodos en informática.
Este libro conecta la ingeniería de software con métodos formales, analizando cómo aplicar técnicas matemáticas para mejorar la calidad y confiabilidad, al igual que el de referencia.
