Vorlesungsverzeichnis
Print
Hilfe
Kontakt
en
Lehrangebot
Dozierende
Zeit und Ort
Suche
263-2812-00L Program Verification
Semester
Frühjahrssemester 2023
Dozierende
P. Müller
,
M. Eilers
Periodizität
jährlich wiederkehrende Veranstaltung
Lehrsprache
Englisch
Lehrveranstaltungen
Katalogdaten
Leistungskontrolle
Lernmaterialien
Gruppen
Einschränkungen
Angeboten in
Übersicht
Nummer
Titel
Umfang
Dozierende
263-2812-00 G
Program Verification
3 Std.
Mi
09:15-12:00
CAB
G 56
»
P. Müller
,
M. Eilers
263-2812-00 A
Program Verification
1 Std.
P. Müller
,
M. Eilers