252-0058-00L Formal Methods and Functional Programming
Semester | Frühjahrssemester 2018 |
Dozierende | D. Basin, P. Müller |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Hauptlink | Information |
Es werden nur die öffentlichen Lernmaterialien aufgeführt. |