252-0058-00L Formal Methods and Functional Programming
Semester | Frühjahrssemester 2020 |
Dozierende | P. Müller, D. Traytel |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine zusätzlichen Belegungseinschränkungen vorhanden. |
Semester | Frühjahrssemester 2020 |
Dozierende | P. Müller, D. Traytel |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Keine zusätzlichen Belegungseinschränkungen vorhanden. |