Klausuren: Logik, Semantik und Verifikation

Hauptseite
Literatur
Übungen
Klausuren
Mailingliste
Software
Material

Termine

Erste Klausur Donnerstag, 13. Juli, 8:30-11 Uhr
Nachklausur Freitag, 20. Oktober, 9:00-11:30 Uhr, Hörsaal 002

Prioritätenliste



Christian Schulte, Letzte Änderung: Thu Dec 14 17:01:13 2017.