I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Model Checking
held by: Univ.-Prof. Dr. Andrey Rybalchenko
held in: SS 2012
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/ss2012/