|
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden.
Veranstaltung ist aus dem Semester
WiSe 2022/23
, Aktuelles Semester: WiSe 2024/25
|
|
|
|
Formale Spezifikation von Softwaresystemen
Sprache: Deutsch
Keine Belegung möglich
|
|
(Keine Nummer)
Vorlesung
WiSe 2022/23
2 SWS
jedes 2. Semester
https://www.uni-due.de/swe/formspez.php
|
|
Lehreinheit:
|
Informatik und Angewandte Kognitionswissenschaft
|
|
|
| |
|
|
Master of Science Angewandte Informatik (Ingenieur- oder Medieninfor, Abschluss 87, Master of Science Angewandte Informatik (Ingenieur- oder Medieninfor (87AIM)
(
1.
-
3.
Semester )
- Kategorie : WP
|
|
|
Master of Science Computer Engineering, ISE, Abschluss 87, Master of Science Computer Engineering, ISE (87B27)
(
1.
-
3.
Semester )
- Kategorie : WP
|
|
Zugeordnete Lehrpersonen:
|
Heisel
verantwort
,
Leicht
begleitend
|
| |
|
|
|
|
Termin:
|
Mittwoch
14:00
-
16:00
wöch.
|
|
Raum :
BC 103
BC
|
| |
| |
