|
Strukturbaum
Die Veranstaltung wurde 3 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden:
|
|
|
|
Modellierung, Analyse, Verifikation
Sprache: Deutsch
Keine Belegung möglich
|
|
(Keine Nummer)
Vorlesung
WiSe 2025/26
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 Software and Network Engineering, Abschluss 87, Master of Science Software and Network Engineering (87SNE)
(
1.
-
3.
Semester )
- Kategorie : WP
|
|
Zugeordnete Lehrperson:
|
König
|
| |
|
|
|
|
Termin:
|
Donnerstag
08:00
-
10:00
14-tgl.
Beginn : 16.10.2025
Ende : 05.02.2026
|
|
Raum :
LC 137
LC
|
|
|
Dienstag
08:00
-
10:00
wöch.
|
|
Raum :
LC 137
LC
|
| |
| |
| Bemerkung: |
Weitere Informationen unter https://www.uni-due.de/theoinf/teaching/ |
| |
