Manfred Broy

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen, Ausgabe 2

Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik, Ausgabe 2

Informatik. Eine grundlegende Einführung: Teil III: Systemstrukturen und systemnahe Programmierung

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme

Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

Modellbildung in der Informatik

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen, Ausgabe 2

Projektorganisation und Management im Software Engineering