Broy Manfred

Logische Und Methodische Grundlagen Der Entwicklung Verteilter Systeme

Informatik Eine Grundlegende Einführung

Informatik

Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung

Informatik. Eine Grundlegende Einführung

Informatik

Modellbildung In Der Informatik

Specification And Development Of Interactive Systems

Modellbildung In Der Informatik

Übungen Zur Einführung In Die Informatik

Deductive Program Design

Specification And Development Of Interactive Systems

Software Pioneers

Program Design Calculi

Projektorganisation Und Management Im Software Engineering

Software-Entwicklung Fã¿R Kommunikationsnetze

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

Einführung In Die Softwaretechnik