252-0058-00L Formal Methods and Functional Programming
Semester | Frühjahrssemester 2022 |
Dozierende | P. Müller, C. Sprenger |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine Informationen zu Gruppen vorhanden. |
Semester | Frühjahrssemester 2022 |
Dozierende | P. Müller, C. Sprenger |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine Informationen zu Gruppen vorhanden. |