I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Home
 Contact
 Teaching
lectures
exercises
seminars
training courses
proseminars
research seminars
SS 2013
WS 2012/2013
SS 2012
WS 2011/2012
SS 2011
WS 2010/2011
SS 2010
WS 2009/2010
SS 2009
WS 2008/2009
SS 2008
WS 2007/2008
SS 2007
WS 2006/2007
SS 2006
WS 2005/2006
SS 2005
WS 2004/2005
SS 2004
Before 2004
 People
Publications
Student Projects
Research
Tools
 Help

































Courses

Model Checking
held by: Prof. Dr. habil. Martin Leucker
held in: SS 2009
schedule: Wednesday, 10:00 - 11:30 (MI 00.07.011)
    start date: 2009-04-29 / end date: 2009-07-22

Thursday, 15:00 - 16:30 (MI HS 2)
    start date: 2009-04-23 / end date: 2009-07-23
sws: 4
ects: 8

Bereich:
4 SWS Wahlpflicht-Vorlesung im Bereich Informatik III (Theoretische Informatik)
Wahlfach aus dem Fachgebiet "Formale Methoden und ihre Anwendungen" (FMA)

Hörerkreis:
Studierende im Hauptstudium der Informatik
Studierende im Master-Studiengang Informatik
Studierende mit Nebenfach Informatik

Der Termin der Übung wird noch festgelegt (in Absprache mit den Zuhörern).

more information: /um/courses/mc/ss2009/