en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Model Checking
Überblick
Inhalt
Feedback
Model Checking
Masterstudium
VO2 SS 2012
703521
Lehrender
Raum
Sprechstunde
VO
Cezary Kaliszyk
3M12
Mittwoch
11:15 – 12:45
Zeit & Ort
VO
Mittwoch
08:15 – 10:00
HS 10
Cezary Kaliszyk
Sprache
The course is taught in English.
Anmeldung
Online registration
is required until 23:59 on March 31.
Grading
The final grade is the maximum of the grade from the final exam and the grade for the performance in the exercises.