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 
Muster-Hochschule
Startseite    Anmelden    SoSe 2024      Umschalten in deutsche Sprache / Switch to english language      Sitemap

Model Checking: Techniques and Applications - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Proseminar Langtext
Veranstaltungsnummer 127184 Kurztext
Semester WiSe 2020/21 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links https://seminars.cs.uni-saarland.de/proseminars2021


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Jacobs, Swen , Dr.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
Bachelor (KB) Medieninformatik - 20201 5 5
Bachelor (KB) Mathematik und Informatik - 20201 5 5
Bachelor (KB) Informatik - 20201 5 5
Bachelor (KB) Mathematik und Informatik - 20161 5 5
Bachelor (KB) Cybersicherheit - 20141 5 5
Bachelor (KB) Medieninformatik - 20131 5 5
Bachelor (KB) Eingebettete Systeme - 20161 5 5
Bachelor (KB) Informatik - 20151 5 5
Bachelor (KB) Cybersicherheit - 20201 5 5
Zuordnung zu Einrichtungen
Informatik

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