Manfred Broy

No biography available.

Works (15)

Cover of Advanced Model-Based Engineering of Embedded Systems

Advanced Model-Based Engineering of Embedded Systems

Cover of Specification and Development of Interactive Systems

Specification and Development of Interactive Systems

Cover of Specification and development of interactive systems

Specification and development of interactive systems

Cover of Logic of Programming and Calculi of Discrete Design

Logic of Programming and Calculi of Discrete Design

Cover of Mathematical Methods in Program Development

Mathematical Methods in Program Development

Cover of Cyber-physical systems

Cyber-physical systems

Cover of VDI-Lexikon Informatik und Kommunikationstechnik

VDI-Lexikon Informatik und Kommunikationstechnik

Cover of Programming and Mathematical Method

Programming and Mathematical Method

Cover of Informatik und Mathematik

Informatik und Mathematik

Cover of Modellbildung in der Informatik

Modellbildung in der Informatik

Cover of Software Pioneers

Software Pioneers

Cover of Constructive Methods in Computing Science

Constructive Methods in Computing Science

Cover of Deductive Program Design )

Deductive Program Design )

Cover of Theoretical Foundations of Programming Methodology

Theoretical Foundations of Programming Methodology

Cover of Übungen zur Einführung in die Informatik

Übungen zur Einführung in die Informatik