Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News
Teaching
lectures bachelor projects master projects

Formale Methoden 2

VO 2 + UE 1   SS 2007   LVA 703019 + 703020

Introduction  |  Lecturers  |  Time & Place  |  Schedule  |  Course Material  |  Evaluation  |  Registration

Dozenten

Sprechstunde
Georg Moser    Montag    13:00 - 15:00    3N01
Matthias Schroll    Mittwoch    10:00 - 12:00    3M03
Sarah Winkler    Donnerstag    11:00 - 13:00    3M03