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 |
| Studiengang | Bereich | Typ | |
|---|---|---|---|
| Informatik Bachelor | Grundlagenfächer | O |  |