Peter Müller: Lerneinheiten im Frühjahrssemester 2019

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, D. Traytel
264-5811-00LProgramming Systems Seminar Information Belegung eingeschränkt - Details anzeigen
Findet dieses Semester nicht statt.
The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors.
2 KP2SP. Müller, M. Vechev