|
|
Vorlesungsverzeichnis >> Naturwissenschaftliche Fakultät (Nat) >>
|
Formale Methoden der Softwareentwicklung (FMSoft) [Import]- Dozentinnen/Dozenten
- PD Dr. Stefan Milius, Akad. ORat, Dr. Tadeusz Litak
- Angaben
- Vorlesung mit Übung
4 SWS, ECTS-Studium, ECTS-Credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch oder Englisch
Zeit und Ort: Mi 12:15 - 13:45, 01.150-128; Do 08:15 - 09:45, 01.150-128
- Studienfächer / Studienrichtungen
- 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-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
www: http://www8.cs.fau.de/ws14:fmsoft
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2014/2015:
- Formale Methoden der Softwareentwicklung (FMSoft)
- Institution: Department Mathematik
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|