Manfred Broy
44 works on record
Works
Modellbildung in der Informatik
Projektorganisation Und Management Im Software Engineering
VDI-Lexikon Informatik und Kommunikationstechnik (VDI-Buch) (German Edition)
Mathematical Methods in Program Development
Logic of Programming and Calculi of Discrete Design
Specification and Development of Interactive Systems
Software- Entwicklung
Cyber-physical systems
Übungen zur Einführung in die Informatik
Informatik und Mathematik
Pioneers and Their Contributions to Software Engineering
Software Pioneers
Control Flow and Data Flow: Concepts of Distributed Programming
VDI-Lexikon Informatik und Kommunikationstechnik
Constructive Methods in Computing Science
Programming and Mathematical Method
50 Jahre Universitäts-Informatik in München
Deductive Program Design )
Advanced Model-Based Engineering of Embedded Systems
Logische und Methodische Grundlagen der Programm- und Systementwicklung
Theoretical Foundations of Programming Methodology
Engineering Theories of Software Intensive Systems
Informatik. eine Grundlegende Einführung : Teil III
Design Thinking for Software Engineering
Informatik. Eine grundlegende Einführung: Band 1
Informatik. Eine grundlegende Einführung
Einführung in die Softwaretechnik
Program Design Calculi
Model-Based Testing of Reactive Systems
Perspectives of System Informatics
Model-Based Engineering of Collaborative Embedded Systems
Automotive Software-Connected Services in Mobile Networks
Perspectives of Systems Informatics
Requirements Targeting Software and Systems Engineering
AgendaCPS
Logische und Methodische Grundlagen der Entwicklung Verteilter Systeme
Informatik
Model-Based Systems Engineering with the SPES Modeling Language
Informatik eine Grundlegende Einführung : Band 1
Informatik : Eine Grundlegende Einführung. Band 2
Informatik: Eine Grundlegende Einfuhrung Part 1
Informatik: Eine Grundlegende Einfuhrung. Teil 2
Control Flow and Data Flow
Informatik. Eine grundlegende Einführung: Teil 1