Lehrveranstaltungen
Zur übergeordneten Rubrik
Datenbanken und Informationssysteme (WM 2.5)
Informationssicherheit (WM 2.6)
Ausgewählte Kapitel der Spezifikation (WM 2.7)
(keine Lehrveranstaltungen)
Ausgewählte Kapitel der Verifikation (WM 2.8)