Friedrich L. Bauer

Un libro seminal sobre la arquitectura de software, abordando los principios de diseño y estructuración de sistemas de software complejos desde una perspectiva pionera en el campo.

Una colección de ensayos y conferencias que abordan la ingeniería de software y la teoría de la programación desde una perspectiva profunda y fundamental.

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.

Una obra de un pionero de la informática alemana que explora los fundamentos teóricos del software y la ingeniería de programas, centrándose en la sistematización y la rigurosidad matemática en el proceso de diseño.

Un ensayo filosófico sobre la programación como una actividad profundamente intelectual y humana, explorando sus aspectos creativos y sus implicaciones éticas y culturales.

Un tratado que aborda las bases teóricas de la informática, centrándose en la programabilidad, la verificación formal y los límites de la computación, con un énfasis en los métodos axiomáticos y la lógica matemática.