Manfred Broy

Program Design Calculi

Deductive Program Design

Software Pioneers

Projektorganisation Und Management Im Software Engineering

Logische Und Methodische Grundlagen Der Entwicklung Verteilter Systeme

Software-Entwicklung Fã¿R Kommunikationsnetze

Informatik Eine Grundlegende Einführung

Einführung In Die Softwaretechnik

Informatik

Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung

Modellbildung In Der Informatik

Informatik. Eine Grundlegende Einführung

Specification And Development Of Interactive Systems

Modellbildung In Der Informatik

Informatik

Übungen Zur Einführung In Die Informatik

Informatik: Eine Grundlegende Einführung Teil Iv. Theoretische Informatik, Algorithmen Und Datenstrukturen, Logikprogrammierung, Objektorientierung (Springer-Lehrbuch)

Constructive Methods In Computing Science

Constructive Methods In Computing Science: International Summer School (Nato Asi Series: Series F: Computer & Systems Sciences)