|
Formale Methoden der Softwareentwicklung (FMSoft)
- Lecturer
- Prof. Dr. Lutz Schröder
- Details
- Vorlesung
2 cred.h, certificate, ECTS studies, ECTS credits: 2,5, Sprache Deutsch
Time and place: Mon 10:15 - 11:45, room tbd; comments on time and place: Ort: Seminarraum LS INF8, Martensstr. 3, 11. OG
- Fields of study
- WPF INF-BA-W 5 (ECTS-Credits: 2,5)
- ECTS information:
- Credits: 2,5
- Additional information
- Expected participants: 20
- Assigned lectures
- UE: Übungen zu Formale Methoden der Softwaretechnik
-
Lecturer: Dr. Daniel Gorin
Time and place: Wed 14:15 - 15:45, room tbd; comments on time and place: Seminarraum INF8, Martensstr. 3, 11. OG
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2012/2013:
- Formale Methoden der Softwareentwicklung (FMSoft)
- Department: Chair of Computer Science 8 (Theoretical Computer Science)
|
|
|