en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Einführung in Model Checking
Einführung
Neuigkeiten
Proseminar
Feedback
Lehrende
Zeit & Ort
Zeitplan
Evaluation
Einführung in Model Checking
Masterstudium
VO1 WS 2008/2009
703503
Time & Place
Wednesday from 12:30 to 14:00 in HS F. The first lecture will be on October 1.