Prof. Dr. Peter H. Schmitt

Prof. Dr. Peter H. Schmitt
Informatik
KIT

Lehrveranstaltungen (4)

Veranstaltung #
Formal Specification and Verification (Vorlesung) 2
Formale Systeme (Vorlesung + Übung/Tutorium) 9
Informatik III (Vorlesung + Übung/Tutorium) 0
Nichtklassische Logiken (Vorlesung) 2

Durchschnittsbewertung

Bewertungen:

13

Gesamt: Bewertungen können nur von
registrierten Nutzern eingesehen werden.

Wenn du schon ein Nutzerkonto hast, dann log dich ein, anderenfalls kannst du dich hier registrieren.
Fairness:
Unterstützung:
Material:
Verständlichkeit:
Spaß:
Interesse:
Note/Aufwand:
Empfehlung: