Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Modellierung, Analyse, Verifikation - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer Kurztext
Semester WiSe 2020/21 SWS 3
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Credits Belegung Keine Belegpflicht
Zeitfenster
Hyperlink https://www.uni-due.de/theoinf/teaching/ws202021_mav.php
Sprache Deutsch


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 und Angewandte Kognitionswissenschaft
Inhalt
Bemerkung

Die Vorlesung findet online über Moodle statt.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2020/21 , Aktuelles Semester: SoSe 2024