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