M. Broy
Books
- Constructive Methods in Computing Science
- Program Construction
- Logic of Programming and Calculi of Discrete Design
- Control Flow and Data Flow
- Control Flow and Data Flow: Concepts of Distributed Programming
- Programming Concepts and Methods
- Informatik Eine Grundlegende Einfuhrung Teil 3
- Theoretical Foundations of Programming Methodology
Author data: Open Library