|
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden.
Veranstaltung ist aus dem Semester
WiSe 2020/21
, Aktuelles Semester: SoSe 2024
|
|
|
|
Formale Methoden des Software Engineering
Sprache: Deutsch
Keine Belegung möglich
|
|
Nr.:
0325
Vorlesung
WiSe 2020/21
2 SWS
jedes 2. Semester
https://www.s3.uni-duisburg-essen.de/willkommen/index.html
|
|
Lehrstuhl:
|
Spezifikation von Softwaresystemen
|
|
|
| |
|
|
S3, Software and Network Engineering (Master of Science)
(
1.
-
3.
Semester )
|
|
|
W10, Wirtschaftsinformatik (Master of Science)
(
1.
-
3.
Semester )
|
|
|
TM M.Sc., Technomathematik (Master of Science)
(
1.
-
3.
Semester )
|
|
|
M M.Sc., Mathematik (Master of Science)
(
1.
-
3.
Semester )
|
|
|
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 )
|
|
Zugeordnete Lehrperson:
|
Goedicke
|
| |
|
|
|
|
Termin:
|
Dienstag
10:00
-
12:00
wöch.
|
|
|
| |
| |
| Bemerkung: |
Weitere Informationen zur Lehrveranstaltung finden Sie unter folgendem Link: https://www.s3.uni-duisburg-essen.de/willkommen/index.html |
| |
