UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 

Formale Methoden der Softwareentwicklung (FMSoft)

Lecturers
PD Dr. Stefan Milius, Akad. ORat, Dr. Tadeusz Litak

Details
Vorlesung mit Übung
4 cred.h, ECTS studies, ECTS credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch oder Englisch
Time and place: Wed 12:15 - 13:45, 01.150-128; Thu 08:15 - 09:45, 01.150-128

Fields of study
WPF INF-BA-V-THI ab 5 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 5 (ECTS-Credits: 7,5)
WPF INF-MA ab 7 (ECTS-Credits: 7,5)
WF M-BA ab 5 (ECTS-Credits: 7,5)
WF M-MA ab 7 (ECTS-Credits: 7,5)
WF IIS-MA ab 7 (ECTS-Credits: 7,5)
WF WINF-BA ab 5 (ECTS-Credits: 7,5)

ECTS information:
Credits: 7,5

Additional information
Expected participants: 20
www: http://www8.cs.fau.de/ws14:fmsoft

Verwendung in folgenden UnivIS-Modulen
Startsemester WS 2014/2015:
Formale Methoden der Softwareentwicklung (FMSoft)

Department: Chair of Computer Science 8 (Theoretical Computer Science)
UnivIS is a product of Config eG, Buckenhof