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]
Prüfungsnummer 438002
Studienabschluss [88] - Master
Studiengang [F23] - Mathematics
Kennzeichenfach [H] - Hauptfach
Prüfungsversion [20] - Version 2020
Leistungspunkte 3.0
Prüfungsrelevanz Studienleistung
Bezeichnung Übungen zu "Ergänzungsvorlesung Formale Methoden"
Pflichtkennzeichen [WP] - Wahlpflichtfach
Prüfungsform [O] - Schriftlich oder Mündlich
Prüfungsart [FV] - Vorlesung
Art der Notengebung [Z] - Noten BA
Veranstaltungen 100092 Quantitatives Model Checking  (V/Ü)