Formale Methoden der Softwareentwicklung (FMSoft)
- Dozentinnen/Dozenten
- Dr. Tadeusz Litak, Christoph Rauch
- Angaben
- Vorlesung mit Übung
4 SWS, ECTS-Studium, ECTS-Credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch oder Englisch
Zeit und Ort: Mi 16:15 - 17:45, Raum n.V.; Fr 14:15 - 15:45, 02.133-113; Bemerkung zu Zeit und Ort: Mi, 16.15-17.45: Raum 00.131-128, Cauerstraße 11, EG
- 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 1 (ECTS-Credits: 7,5)
WF M-BA ab 5 (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 5 (ECTS-Credits: 7,5)
- ECTS-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
www: http://www8.cs.fau.de/ws16:fmsoft
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2016/2017:
- Formale Methoden der Softwareentwicklung (FMSoft)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|