M. Broy
1949
Books
- Software pioneers
- Perspectives of system informatics
- Software system reliability and security
- Mathematical methods in program development
- Program design calculi
- Transformation parallel ablaufender Programme
- Programming and mathematical method
- Formal systems specification
- Model-based testing of reactive systems
- Deductive program design
- Software and systems safety
- Künstliche Intelligenz
- KORSO
- Program construction
- Methods of programming
- Calculational system design
- Formal methods in programming and their applications
- Informatik und Mathematik
- Informatikforschung in Deutschland
Author data: Open Library