|
Formale Methoden der Softwareentwicklung (FMSoft)
- Lecturers
- PD Dr. Stefan Milius, Dr. Daniel Gorin
- Details
- Vorlesung mit Übung
4 cred.h, ECTS studies, ECTS credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch
Time and place: Wed 14:15 - 15:45, 16:15 - 17:45, room tbd; comments on time and place: Seminarraum INF8, Martensstr. 3, 11.150
- 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)
- ECTS information:
- Credits: 7,5
- Additional information
- Expected participants: 20
www: http://www8.cs.fau.de/ws13:fmsoft
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2013/2014:
- Formale Methoden der Softwareentwicklung (FMSoft)
- Department: Chair of Computer Science 8 (Theoretical Computer Science)
|
|
|