1 Table of Contents: “... -- 0.4 Wie es weitergeht -- 1 Algebraische Modellierung -- 1.1 Signaturen und Axiome -- 1.2 Grundlegende...”

2 “..., Zeit, Architektur, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLA und...”

3 “..., gemeinsam mit Vertretern aus Wissenschaft, Wirtschaft und Politik Möglichkeiten und Strategien auf, wie...”