Una Introducción a la Lógica de Hoare
por C.A.R. Hoare · 1969
Sinopsis
Este artículo seminal presenta un sistema formal para razonar sobre la corrección de programas imperativos, utilizando precondiciones y postcondiciones.
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