252-0058-00L  Formal Methods and Functional Programming

SemesterFrühjahrssemester 2020
DozierendeP. Müller, D. Traytel
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


Keine zusätzlichen Belegungseinschränkungen vorhanden.