Manfred Broy

Constructive Methods in Computing Science

2011

Übungen zur Einführung in die Informatik

2002

Specification and Development of Interactive Systems

2001

Programming and Mathematical Method

1992

Modellbildung in der Informatik

2013

Mathematical Methods in Program Development

2011

Informatik

2013

Vvedenie v informatiku

2000

Theoretical Foundations of Programming Methodology

1899

Software Pioneers

2014

Projektorganisation Und Management Im Software Engineering

1900

Program Design Calculi

2013

Pioneers and Their Contributions to Software Engineering

2001

Perspectives of System Informatics

2003

Informatik und Mathematik

1991

Informatik. eine Grundlegende Einführung : Teil III

1994

Informatik. Eine grundlegende Einführung: Band 1

1997

Engineering Theories of Software Intensive Systems

2008