Manfred Broy

• 50 Jahre Universitäts-Informatik in München
• Advanced Model-Based Engineering of Embedded Systems
• Constructive Methods in Computing Science
• Control Flow and Data Flow: Concepts of Distributed Programming
• Cyber-physical systems
• Deductive Program Design )
• Engineering Theories of Software Intensive Systems
• Engineering Theories of Software Intensive Systems
• Informatik und Mathematik
• Informatik. Eine grundlegende Einführung
• Informatik. eine Grundlegende Einführung : Teil III
• Informatik. Eine grundlegende Einführung: Band 1