Titel | Typ | Semester | SWS |
---|---|---|---|
Softwarequalitätssicherung und Softwaretest | Seminar (S) | SS 2023 | 2 |
Proseminar Softwaretechnik: Ausgewählte Turing-Preisträger aus der Softwaretechnik | Proseminar (PS) | SS 2023 | 2 |
Titel | Typ | Semester | SWS |
---|---|---|---|
Aktuelle Themen des Quantencomputings | Praktikum (P) | SS 2023 | 3 |
Praktikum: Fortgeschrittene Software-Entwicklungswerkzeuge | Praktikum (P) | SS 2023 | 4 |
Weiterführende Veranstaltungen
Eine Übersicht zu Kursen aus dem Gebiet der Formalen Methoden befindet sich hier.