252-0058-00L  Formal Methods and Functional Programming

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


 
HauptlinkInformation
Es werden nur die öffentlichen Lernmaterialien aufgeführt.