Ok, voy a desglosar un poco esta lista, ya que no estaba seguro de qué querías exactamente de un libro. Todos estos libros son de mi propiedad, he leído y recomendado en las áreas a las que están destinados. Los autores pueden estar mal escritos, la mala escritura a mano al transcribir.
Libros que tratan sobre el diseño y la verificación de software en general:
Comprensión de Z: Un lenguaje de especificación y su semántica formal – JM Spivey
Programación certificada con tipos dependientes: una introducción pragmática al Asistente de pruebas Coq – Alan Chilpala
- ¿Cuáles son algunos libros de lectura obligatoria con los que una persona nueva en lectura debería comenzar?
- ¿Cuáles son algunos de los mejores libros de la guerra mundial y por qué?
- ¿Cuáles son algunos de los mejores libros de literatura marathi traducidos al inglés?
- ¿Cuáles son algunos buenos libros sobre historia mundial que sean completos pero interesantes?
- ¿Cuáles son algunas buenas biografías de automóviles?
Modelado de seguridad y prueba de corrección utilizando Specware e Isabelle -Chuan Lian Koh
Libros matemáticamente rigurosos sobre aspectos específicos de la informática:
Fundamentos de las técnicas de codificación de control de errores – Hideki Imai
Lógicas del programa para compiladores certificados – Andrew Appel
Sistemas de comunicación y móviles: el cálculo de Pi – Robert Milner
Libros que consideraría necesarios para comprender dónde y por qué del rigor matemático:
El arte de la programación de computadoras – Donald Knuth
Creación de aplicaciones de alta integridad con Spark – John McCormick
Ingeniería de protocolo – Hartmut Konig