Peter Müller: Lerneinheiten im Frühjahrssemester 2021

Auszeichnung: Die Goldene Eule
NameHerr Prof. Dr. Peter Müller
LehrgebietInformatik
Adresse
Professur für Software Technology
ETH Zürich, CAB H 84
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 28 68
E-Mailpeter.mueller@inf.ethz.ch
URLhttp://www.pm.inf.ethz.ch
DepartementInformatik
BeziehungOrdentlicher Professor

NummerTitelECTSUmfangDozierende
252-0058-00LFormal Methods and Functional Programming Information 7 KP4V + 2UD. Basin, P. Müller
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen
Maximale Teilnehmerzahl: 30.
5 KP3G + 1AP. Müller, C. Matheja