
por E. W. Dijkstra · 1976
Sinopsis
Este libro presenta un enfoque riguroso y formal para el diseño y la construcción de programas correctos, destacando la importancia de la lógica y la verificación.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda