|
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden.
Veranstaltung ist aus dem Semester
SoSe 2024
, Aktuelles Semester: WiSe 2024/25
|
|
|
|
Modellierung, Analyse, Verifikation
Sprache: Deutsch
Keine Belegung möglich
|
|
(Keine Nummer)
Vorlesung
SoSe 2024
3 SWS
jedes 2. Semester
https://www.uni-due.de/theoinf/teaching/
|
|
Fakultät:
|
Informatik
|
|
|
| |
|
|
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:
|
König
|
| |
|
|
|
|
Termin:
|
Dienstag
08:00
-
10:00
wöch.
|
|
Raum :
LC 137
LC
|
|
|
Donnerstag
08:00
-
09:00
wöch.
|
|
Raum :
LC 137
LC
|
| |
| |
| Bemerkung: |
Weitere Informationen unter https://www.uni-due.de/theoinf/teaching/ |
| |
