
por E.W. Dijkstra · 1976
Sinopsis
Este libro presenta un enfoque riguroso y matemático para la construcción de programas correctos, defendiendo la programación estructurada y la verificación formal.
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