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