Este libro profundiza en la ingeniería de software con un enfoque metodológico, parecido al análisis riguroso de Bauer sobre la estructura de los lenguajes.
La estructura de los lenguajes de programación
por Friedrich L. Bauer · 1974
Ver sugerenciasSinopsis
Un tratado seminal sobre la teoría de la programación y la estructura formal de los lenguajes, cubriendo aspectos como la sintaxis, la semántica y la pragmática.
Sé el primero en valorar este libro.
Más de Friedrich L. Bauer
Ver autor →Otras obras del mismo autor en el catálogo
La arquitectura del software: Una perspectiva sobre el diseño de sistemas complejos
1968
La construcción de software: un arte
1969
El Pensamiento Computacional y la Naturaleza del Software
1976
The Algorithmic Language ALGOL 68
1976
Die programmiertechnische Entwicklung von Algorithmen
1977
Program Verification
1979
Algorithmics
1980
Compiler Construction
1980
Programmierung mit Pascal
1981
Foundations of Logic Programming
1981
La Programación: El Último Oficio Humano
1982
La esencia de la informática: Un enfoque axiomático
1982
Numerical Algorithms and Computer Programming
1983
Introduction to Compiler Design
1990
Theoretical Computer Science
1993
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que el libro de Bauer, se enfoca en el diseño e implementación de lenguajes de programación, explorando principios clave en su construcción.
Este texto ofrece una perspectiva conceptual y fundamentada sobre la sintaxis y semántica, siguiendo la tradición analítica que caracteriza a Bauer.
La Estructura de los Programas Informáticos
Harold Abelson, Gerald Jay Sussman, Julie Sussman
1985·divulgacion
Al igual que Bauer, utiliza un enfoque técnico en la enseñanza de los principios de programación, enfatizando la estructura y la modularidad en Lisp.
La semántica de los programas: Aplicaciones a la programación estructurada
Edsger W. Dijkstra
1976·ciencia ficcion
Se centra en la semántica formal y su relación con la verificación de programas, similar al enfoque teórico de Bauer sobre la estructura de lenguajes.
Este tratado de Bauer aborda fundamentos teóricos en programación, explorando la lógica matemática, en línea con la preocupación formalista del texto de referencia.