en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Programmverifikation
Einführung
Feedback
Lehrende
Folien
Evaluation
Proseminar
Programmverifikation
Bachelorstudium
VO3 + PS2 SS 2022
703083
+
703084
Lehrende
Raum
Sprechstunde
VO+PS
Rene Thiemann
3M09
Dienstag
10:15 – 11:15
PS
Christian Sternagel
--
nach Vereinbarung