holandés
Edsger W. Dijkstra fue un destacado informático y pionero en el campo de la programación y los algoritmos, conocido por su trabajo en teoría de grafos y la creación del algoritmo que lleva su nombre. Su enfoque en la claridad y la rigor en la programación ha influido significativamente en el desarrollo del software moderno.
1972·no ficcion
Una colección seminal de ensayos que abogan por una forma disciplinada de diseñar y escribir programas, enfatizando la claridad, la corrección y el uso de estructuras de control bien definidas para reducir la complejidad.
1976·ciencia ficcion
Un trabajo seminal que explora la semántica formal de los lenguajes de programación, sentando las bases para la verificación y la corrección de programas a través de métodos matemáticos rigurosos.
1976·ciencia ficcion
Presenta un enfoque riguroso y formal para el diseño y la construcción de programas correctos, defendiendo la programación como una disciplina intelectual basada en la lógica y la prueba matemática.
1976·no ficcion
Este libro seminal aborda la verificación formal de la corrección de programas a través de la lógica matemática, enfatizando la importancia de una ingeniería de software rigurosa y basada en pruebas.
1976·no ficcion
Un libro clásico que defiende la programación estructurada y la verificación formal de programas, abogando por un enfoque riguroso y matemático para la construcción de software correcto y legible.
1989·filosofia
Una colección de ensayos y notas de uno de los pioneros de la informática, donde reflexiona profundamente sobre los fundamentos, principios y la naturaleza de la programación y el diseño de software.
Aparecen junto a Edsger W. Dijkstra en búsquedas del archivo
