A Discipline of Programming
1976·no ficcion
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.
ED
ED
E.W. Dijkstra
holandés
E.W. Dijkstra fue un influyente científico de la computación holandés, conocido por sus contribuciones a la programación estructurada y la teoría de algoritmos. Su trabajo sentó las bases para el desarrollo de software moderno y ayudó a establecer principios fundamentales en la programación.
Obras en el archivo
3 títulos
Selected Writings on Computing: A Personal Perspective
1982·ensayo
Una colección de ensayos y notas que abarcan la evolución de sus ideas sobre la programación, la ingeniería de software y la importancia de la simplicidad y la claridad.
A Method of Programming
1988·no ficcion
Este texto es una referencia para el uso de la lógica y las matemáticas en el desarrollo de programas, profundizando en la construcción sistemática de algoritmos.