Formal Methods Applied to the Specification of Software Systems
por C.A.R. Hoare, Michael J.C. Gordon · 1982
Sinopsis
Este ensayo profundiza en el uso de métodos formales, como la lógica y las matemáticas, para especificar y verificar la corrección de sistemas de software, buscando la rigurosidad en el diseño.
Sé el primero en valorar este libro.
Más de C.A.R. Hoare
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda