Ambos libros enfatizan la programación como una disciplina matemática, utilizando un enfoque formal para garantizar la correctitud de los programas mediante deducción lógica.
The Science of Programming
por David Gries · 1981
Ver sugerenciasSinopsis
Este libro presenta un enfoque formal y matemático para el desarrollo de programas, tratando la programación como una disciplina científica con rigor y deducción lógica.
Sé el primero en valorar este libro.
Más de David Gries
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto destaca la construcción de programas correctos a partir de especificaciones formales, muy alineado con el enfoque matemático que presenta Gries.
Al tratar temas sobre la verificación y el rigor matemático en programación, este libro complementa la visión científica de Gries sobre el desarrollo de software.
El libro de Dijkstra se centra en el cálculo de transformaciones para la derivación de programas, reflejando la estructura lógica en el desarrollo que promueve Gries.
Ambos textos comparten un enfoque formal en la construcción de algoritmos, mostrando la importancia de la lógica en el proceso programático.
La obra de Dijkstra se enfoca en métodos formales para lograr programas correctos, resonando con el enfoque riguroso y científico de Gries en su ensayo.