Prüfer: Keszöcze, Oliver (Prüfernummer: 100421)

22801 Verifikation digitaler Systeme (5 ECTS)

UnivIS-Modul:

Verifikation digitaler Systeme (VdS)

Bezeichnung:

Verifikation digitaler Systeme

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Verifikation digitaler Systeme
• Übung zur Verifikation digitaler Systeme

22801 Verifikation digitaler Systeme (5 ECTS, Wiederholungsprüfung vom SS 2022)

UnivIS-Modul:

Verifikation digitaler Systeme (VdS)

Bezeichnung:

Verifikation digitaler Systeme

Prüfungstyp:

Klausur

Lehrveranstaltungen:

• Verifikation digitaler Systeme
• Übung zur Verifikation digitaler Systeme

886484 Seminar: Ausgewählte Kapitel aus "The Art of Computer Programming" (5 ECTS)

UnivIS-Modul:

Seminar: Ausgewählte Kapitel aus "The Art of Computer Programming" (SEM-TACP)

Bezeichnung:

Seminar: Ausgewählte Kapitel aus "The Art of Computer Programming"

Prüfungstyp:

Seminarleistung

Lehrveranstaltungen:

• Seminar: Ausgewählte Kapitel aus "The Art of Computer Programming"