Modellierung, Analyse, Verifikation - Einzelansicht

Grunddaten
Veranstaltungsart	Vorlesung	Langtext
Veranstaltungsnummer		Kurztext
Semester	WiSe 2025/26	SWS	3
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
	Di.	08:00 bis 10:00	wöch.		LC - LC 137						Präsenzveranstaltung
	Do.	08:00 bis 10:00	14-tgl.	16.10.2025 bis 05.02.2026	LC - LC 137						Präsenzveranstaltung

Gruppe [unbenannt]:

vormerken

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
König, Barbara, Professorin, Dr. rer. nat.

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

Inhalt
Bemerkung	Weitere Informationen unter https://www.uni-due.de/theoinf/teaching/

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