Aborda aspectos de la programación estructurada y la abstracción, al igual que el libro de referencia, reflejando las ideas fundamentales de Dijkstra.
La ciencia de la computación y los fundamentos del conocimiento
por Edsger W. Dijkstra · 1989
Ver sugerenciasSinopsis
Una colección de ensayos e investigaciones de uno de los pioneros de la ciencia de la computación, donde reflexiona sobre la programación, la verificación, la abstracción y el rigor matemático en el desarrollo de software.
Sé el primero en valorar este libro.
Más de Edsger W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Goto considerado perjudicial
1968
Notas sobre la estructura de los programas y procesos de computación
1968
Sobre Programación: Una Introducción al Concepto de Lenguajes de Programación
1972
La esencia de la informática
1972
Principios para el Diseño de Programas Informáticos Estructurados
1972
La Programación en el Contexto de la Sociedad
1972
Sobre el arte de programar
1972
Sobre la Programación Confiable
1972
Structured Programming (Programación Estructurada)
1972
La lógica de la programación estructurada
1974
A Plea for the Emperor's New Clothes
1975
La lógica de la programación
1976
La Disciplina de Programación
1976
El arte de la programación
1976
Programación conciente: principios para desarrollar software robusto
1976
Libros similares
Libros relacionados según distintos criterios de búsqueda
Discute la programación como un ejercicio de precisión y pensamiento, similar a la reflexión sobre el rigor matemático presente en la obra mencionada.
Explora la evolución de ideas sobre programación y la importancia de la claridad, alineándose con la lógica y el enfoque crítico de Dijkstra.
Enfatiza la simplicidad y la elegancia en el diseño de software, temas centrales que Dijkstra considera esenciales en su trabajo sobre programación.
Aborda principios fundamentales y la verificación de programas, conceptos que se cruzan con las reflexiones sobre el desarrollo riguroso en el texto de referencia.
Presenta una visión sistemática y rigurosa sobre programación que ecoa el énfasis de Dijkstra en la claridad, elegancia y corrección matemática.