Prof. Dr. G. Doeben-Henisch

Prof. Dr. G. Doeben-Henisch
Informatik
Frankfurt University

Lehrveranstaltungen von Prof. Dr. G. Doeben-Henisch

Veranstaltung Umfang Beschreibung Bewertungen
Formal Specification & Verification
Vorlesung + Übung/Tutorium
5 SWS - 1
Realzeitsysteme
Vorlesung + Übung/Tutorium
4 SWS - 11
Theoretische Grundlagen der Informatik
Vorlesung + Übung/Tutorium
7 SWS - 0