Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 »

Specification And Development Of Interactive Systems
Focus On Streams, Interfaces And Refinement »

Informatik
Information, Assoziatives Datenfeld, Soziales Netzwerk, Liste der standardisierten Ports, Informatikstudium, Organic Computing, Turingmaschine mit Zusatzeing... »

Informatik. Eine Grundlegende Einfuhrung
Teil III: Systemstrukturen und systemnahe Programmierung »

Modellbildung in der Informatik
 »

Informatik
 »

Software Pioneers
Contributions To Software Engineering »

Model-Based Testing Of Reactive Systems
Model-Based Testing of Reactive Systems »

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