Model-Checking II | WS 2008/09

Neuigkeiten | Termine | Inhalt | Folien

Wann und wo?

Die Vorlesung findet jede Woche an folgendem Termin statt:

Montag, 14:15 - 15:45 (03.11.058) (ab 27. Oktober)

Dozent

Stefan Schwoon (Sprechstunde: nach Vereinbarung)

Hörerkreis

Studierende im Hauptstudium der Informatik
Studierende im Master-Studiengang Informatik
Studierende mit Nebenfach Informatik
Doktoranden im Graduiertenkolleg PUMA