|
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden.
Veranstaltung ist aus dem Semester
WiSe 2020/21
, Aktuelles Semester: SoSe 2024
|
|
|
|
Formale Spezifikation von Softwaresystemen
Sprache: Deutsch
Keine Belegung möglich
|
|
(Keine Nummer)
Vorlesung
WiSe 2020/21
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 Lehrperson:
|
Heisel
|
| |
|
|
|
|
Termin:
|
Mittwoch
14:00
-
16:00
wöch.
|
|
|
| |
| |
| Bemerkung: |
Die Veranstaltung findet teils als Online-Livestream und teils als Online-Aufzeichnung statt. Nähere Angaben werden auf den WEB-Seiten des Fachgebietes bereitgestellt. |
| |
