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 |
Nummer | Titel | Umfang | Dozierende | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
252-0058-00 V | Formal Methods and Functional Programming Findet im HG E 7 mit Videoübertragung ins HG E 3 statt. | 4 Std. |
| P. Müller, C. Sprenger | ||||||||||||
252-0058-00 U | Formal Methods and Functional Programming | 2 Std. | P. Müller, C. Sprenger |