Name | Herr Prof. Dr. Peter Müller |
Lehrgebiet | Informatik |
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 |
peter.mueller@inf.ethz.ch | |
URL | http://www.pm.inf.ethz.ch |
Departement | Informatik |
Beziehung | Ordentlicher Professor |
Nummer | Titel | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|
252-0058-00L | Formal Methods and Functional Programming | 7 KP | 4V + 2U | D. Basin, P. Müller, D. Traytel | |
264-5811-00L | Programming Systems Seminar 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 KP | 2S | P. Müller, M. Vechev |