alemán
Manfred Broy es un destacado científico y académico alemán conocido por sus contribuciones en el ámbito de la informática y la ingeniería de software. Ha sido reconocido por su trabajo en el modelado y análisis de sistemas complejos.
1990
Un texto académico que presenta los principios y conceptos fundamentales de la programación orientada a objetos en C++, con un enfoque riguroso y formal en la especificación y diseño.
1993·no ficcion
Este libro introduce los fundamentos teóricos de los sistemas formales en el desarrollo de software, explorando métodos para especificar, verificar y transformar programas de manera rigurosa. Aborda conceptos como semántica operacional y axiomática para asegurar la corrección de los sistemas.
Aparecen junto a Manfred Broy en búsquedas del archivo
