Vorlesungsverzeichnis
Print
Hilfe
Kontakt
en
Lehrangebot
Dozierende
Zeit und Ort
Suche
252-0058-00L Formal Methods and Functional Programming
Semester
Frühjahrssemester 2018
Dozierende
D. Basin
,
P. Müller
Periodizität
jährlich wiederkehrende Veranstaltung
Lehrsprache
Englisch
Lehrveranstaltungen
Katalogdaten
Leistungskontrolle
Lernmaterialien
Gruppen
Einschränkungen
Angeboten in
Übersicht
Keine zusätzlichen Belegungseinschränkungen vorhanden.