M. Broy
1949 · 19 obras en el catálogo
Obras
Software and systems safety
Model-based testing of reactive systems
Perspectives of system informatics
KORSO
Formal systems specification
Formal methods in programming and their applications
Program design calculi
Methods of programming
Deductive program design
Software system reliability and security
Software pioneers
Informatikforschung in Deutschland
Programming and mathematical method
Calculational system design
Mathematical methods in program development
