Das Herbstsemester 2020 findet in einer gemischten Form aus Online- und Präsenzunterricht statt.
Bitte lesen Sie die publizierten Informationen zu den einzelnen Lehrveranstaltungen genau.

Peter Müller: Lerneinheiten im Frühjahrssemester 2015

NameHerr Prof. Dr. Peter Müller
LehrgebietInformatik
Adresse
Programming Methodology Group
ETH Zürich, CAB H 84
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Auszeichnung: Die Goldene Eule
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
252-0216-00LSoftware Architecture and Engineering Information 8 KP4V + 3UP. Müller, M. Vechev
264-5811-00LProgramming Systems Seminar Information Belegung eingeschränkt - Details anzeigen
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