|
|
Formale Methoden der Softwareentwicklung (FMSoft) [Import]- Lecturers
- PD Dr. Tadeusz Litak, Akad. ORat, Paul Wild, M. Sc.
- Details
- Vorlesung mit Übung
Online/Präsenz
4 cred.h, ECTS studies, ECTS credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Time and place: Wed 14:15 - 15:45, 01.255-128; Thu 12:15 - 13:45, 00.131-128; comments on time and place: Vorlesungen und Übungen finden als Liveübertragungen statt, nach Absprache auch in Präsenz; Auswahl des Konferenzdienstes erfolgt über StudOn
- Fields of study
- WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WF M-BA ab 4 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)
WF IIS-MA ab 1 (ECTS-Credits: 7,5)
WF WINF-BA ab 4 (ECTS-Credits: 7,5)
- ECTS information:
- Credits: 7,5
- Additional information
- Expected participants: 20
www: https://www8.cs.fau.de/course:fmsoft
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2020/2021:
- Formale Methoden der Softwareentwicklung (FMSoft)
- Department: Center for Applied Philosophy of Science and Key Qualifications
|
|
|