en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Experimente mit Verifikation
Einführung
Neuigkeiten
Feedback
Lehrende
Anmeldung
Zeit & Ort
Zeitplan
Benotung
Experimente mit Verifikation – Einführung in Isabelle/HOL
Masterstudium
VO1 SS 2010
703523
Anmeldung
Für die Vorlesung ist eine Anmeldung bis zum 19ten März um 8:00 erforderlich.