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