1949 –
Non abbiamo ancora una biografia di M. Broy.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Theoretical Foundations of Programming Methodology
2012
Software pioneers
2014
Software and systems safety
2011
Programming and mathematical method
1992
Methods of programming
1991
Logic of Programming and Calculi of Discrete Design
Informatikforschung in Deutschland
2008
Formal methods in programming and their applications
1993
Software system reliability and security
2007
Programming Concepts and Methods
1990
Program construction
1979
Program Construction
2006
Perspectives of system informatics
2000
Model-based testing of reactive systems
2005
Mathematical methods in program development
1997
Künstliche Intelligenz
KORSO
1995
Informatik und Mathematik
Otium
