Übung zu "Modellierung, Analyse, Verifikation" - Einzelansicht

Grunddaten
Veranstaltungsart	Übung	Langtext
Veranstaltungsnummer		Kurztext
Semester	WiSe 2025/26	SWS	1
Erwartete Teilnehmer/-innen		Max. Teilnehmer/-innen
Credits		Belegung	Keine Belegpflicht
Zeitfenster
Hyperlink	https://www.uni-due.de/theoinf/teaching/
Sprache	Deutsch

Termine Gruppe: [unbenannt]
	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen	E-Learning
	Do.	08:00 bis 10:00	14-tgl.	23.10.2025 bis 29.01.2026	LC - LC 137						Präsenzveranstaltung

Gruppe [unbenannt]:

vormerken

Zugeordnete Personen
Zugeordnete Personen	Zuständigkeit
König, Barbara, Professorin, Dr. rer. nat.	begleitend
Messing, Karla , M. Sc.	verantwort

Zielgruppen/Studiengänge
Zielgruppe/Studiengang	Semester	Pflichtkennzeichen
Master of Science Angewandte Informatik (Ingenieur- oder Medieninfor, Master of Science Angewandte Informatik (Ingenieur- oder Medieninfor	1 - 3	WP
Master of Science Software and Network Engineering, Master of Science Software and Network Engineering	1 - 3	WP

Zuordnung zu Einrichtungen
Informatik

Strukturbaum

Die Veranstaltung wurde 3 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden:

Vorlesungsverzeichnis

Informatik

Software Engineering

M.Sc. Software and Network Engineering (PO 2016)

Wahlpflichtbereich - - - 1

Angewandte Informatik (Schwerpunkt Medien- oder Ingenieurwissenschaft)

Angewandte Informatik, Master of Science

Vertiefung der Informatik - - - 2

Computer Engineering (Studienprogramm ISE)

Computer Engineering, Master of Science

Wahlkatalog Grundlagen - - - 3