Wintersemester 2024/25

Berechenbarkeit und Komplexität

Umfang: 2+2 SWS
Dozent: Dr. Norbert Hundeshagen
Zielgruppe: Bachelor Informatik

Einführung in die formale Verifikation

Umfang: 2+2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Bachelor Informatik

Verifikation eingebetteter Systeme

Umfang: 2+2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Master Informatik

Labor Logikprogrammierung

Umfang: 2 SWS
Dozent: Prof. Dr. Martin Lange
Zielgruppe: Bachelor Informatik