en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Experimente mit Verifikation
Überblick
Inhalt
Feedback
Experimente mit Verifikation – Einführung in Isabelle/HOL
Masterstudium
VO1 SS 2011
703523
Feedback
Von hier können Sie anonymes Feedback versenden. 'Anonym' bedeutet, dass wir den Absender der Nachricht nicht erkennen können – verwenden Sie deshalb das Feedback
nicht
um Fragen zu stellen auf die Sie eine persönliche Antwort erwarten.
nochmal
Code: