
por Edsger W. Dijkstra · 1976
Sinopsis
Este libro seminal introduce el concepto de construir programas correctos mediante razonamiento matemático y verificación formal, enfocándose en la claridad y la elegancia del algoritmo.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1968

1972

1972

1972

1972

1972

1972

1972

1974

1975

1976

1976

1976

1976

1976
Libros relacionados según distintos criterios de búsqueda