en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Model Checking
Einführung
Neuigkeiten
Proseminar
Feedback
Lehrende
Zeit & Ort
Zeitplan
Evaluation
Model Checking
Masterstudium
VO2 SS 2010
703521
Time & Place
Wednesdays from 8:15 to 9:45 in HS 10. The first lecture will be on March 10.