estadounidense
David Gries es un destacado científico y educador en el campo de la informática, conocido por sus contribuciones a la programación y la enseñanza de la ciencia de la computación. Es autor de varios libros de texto influyentes que han moldeado la educación en programación y lenguajes de programación.
1981·no ficcion
Un libro seminal que introduce la programación como una disciplina formal, aplicando la lógica matemática para desarrollar programas correctos mediante un enfoque sistemático de derivación de programas a partir de especificaciones.
1981
Este libro ofrece una introducción a los conceptos fundamentales de los lenguajes de programación, enfocándose en la descripción y comprensión del diseño de lenguajes y su implementación a través de un enfoque formal y matemático.
1985
Este libro es una introducción extensa y detallada a la programación utilizando el lenguaje Modula-2, abarcando conceptos fundamentales y técnicas de programación en un entorno bien estructurado.
Aparecen junto a David Gries en búsquedas del archivo
