252-0058-00L  Formal Methods and Functional Programming

SemesterFrühjahrssemester 2018
DozierendeD. Basin, P. Müller
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


Keine zusätzlichen Belegungseinschränkungen vorhanden.