Model-Checking SS 2008

Neuigkeiten | Termine | Inhalt | Übungen | Folien | Links

Die Vorlesung findet jede Woche an folgenden Terminen statt:

Mittwoch, 10:45 - 12:15 (03.11.058), erstmals am 16. April
Donnerstag, 14:45 - 16:15 (03.11.058), erstmals am 17. April

Jede Woche findet eine Übung statt, der Termin wird noch festgelegt.

Dozent:	Stefan Schwoon
Übungen:	Christian Schallhart

Bereich:

4 SWS Wahlpflicht-Vorlesung im Bereich Informatik III (Theoretische Informatik)
Wahlfach aus dem Fachgebiet "Formale Methoden und ihre Anwendungen" (FMA)

Hörerkreis:

Studierende im Hauptstudium der Informatik
Studierende im Master-Studiengang Informatik
Studierende mit Nebenfach Informatik