Modellierung, Analyse, Verifikation - Einzelansicht

Grunddaten
Veranstaltungsart	Vorlesung	Langtext
Veranstaltungsnummer		Kurztext
Semester	SoSe 2024	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 09:00	wöch.		LC - LC 137						Präsenzveranstaltung

Gruppe [unbenannt]:

vormerken

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
König, Barbara , Prof. 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 Computer Engineering, ISE, Master of Science Computer Engineering, ISE	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 SoSe 2024 gefunden:

Vorlesungsverzeichnis

Informatik

Angewandte Informatik (Schwerpunkt Medien- oder Ingenieurwissenschaft)

Angewandte Informatik, Master of Science

Vertiefung der Informatik - - - 1

Computer Engineering (Studienprogramm ISE)

Computer Engineering, Master of Science

Wahlpflichtkatalog Grundlagen - - - 2

Wahlpflichtkatalog Computer Engineering - - - 3