en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Automatisches Beweisen
Einführung
Neuigkeiten
Feedback
Lehrende
Anmeldung
Zeit & Ort
Zeitplan
Benotung
Automatisches Beweisen
Masterstudium
VO2 SS 2011
703522
Grading
There will be a written and closed book exam on June 29, 13:00 – 15:00 in HS 10.
Online registration
is required before 10 am on June 28.
When preparing for the exam, you may find exams of earlier semesters useful:
SS 2010
SS 2009