MB

Manfred Broy

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.

Obras en el archivo

12 títulos

Formale Systeme der Software-Entwicklung: Eine Einführung

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.

Autores relacionados

Aparecen junto a Manfred Broy en búsquedas del archivo