|
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden.
Veranstaltung ist aus dem Semester
SoSe 2017
, Aktuelles Semester: WiSe 2024/25
|
|
|
|
Formale Methoden des Software Engineering (Übung)
Sprache: Deutsch
Keine Belegung möglich
|
|
Nr.:
4020102505
Übung
SoSe 2017
2 SWS
jedes 2. Semester
http://www.s3.uni-due.de/
|
|
Lehrstuhl:
|
Spezifikation von Softwaresystemen
|
|
|
| |
|
|
LA Info Ma GyGe, Informatik im Masterstudiengang mit der Lehramtsoption Gymnasium/Gesamtschulen
(
1.
-
3.
Semester )
|
|
|
S2, Angewandte Informatik - Systems Engineering (Master of Science)
(
1.
-
3.
Semester )
- Kategorie : WP
|
|
|
W10, Wirtschaftsinformatik (Master of Science)
(
1.
-
3.
Semester )
|
|
|
LA Info GyGe, Unterrichtsfach Informatik mit dem Abschluss Erste Staatsprüfung für das Lehramt an Gymnasien und Gesamtschulen (Staatsexamen)
(
7.
-
8.
Semester )
|
|
|
M M.Sc., Mathematik (Master of Science)
(
1.
-
3.
Semester )
|
|
|
TM M.Sc., Technomathematik (Master of Science)
(
1.
-
3.
Semester )
|
|
Zugeordnete Lehrpersonen:
|
Schypula
verantwort
,
Lewintan
verantwort
,
Goedicke
|
| |
|
Gruppe:
|
|
|
Termin:
|
Mittwoch
12:00
(c.t.)
-
14:00
wöch.
|
|
|
| |
Raum SA 201
|
| |
| |
|
Gruppe:
|
|
|
Termin:
|
Mittwoch
16:00
(c.t.)
-
18:00
wöch.
|
|
Raum :
SE 008
S - E
|
| |
| |
| Bemerkung: |
Detailliertere Informationen unter folgendem Link: http://www.s3.uni-due.de/ |
| |
