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 | |||||||||||||||||||||||
252-0058-00 V | Formal Methods and Functional Programming | 4 Std. |
| D. Basin, P. Müller | ||||||||||||||||||||||
252-0058-00 U | Formal Methods and Functional Programming | 2 Std. |
| D. Basin, P. Müller | ||||||||||||||||||||||
252-0216-00L | Software Architecture and Engineering | 8 KP | 4V + 3U | |||||||||||||||||||||||
252-0216-00 V | Software Architecture and Engineering | 4 Std. |
| P. Müller, M. Vechev | ||||||||||||||||||||||
252-0216-00 U | Software Architecture and Engineering | 3 Std. |
| P. Müller, M. Vechev | ||||||||||||||||||||||
264-5811-00L | Programming Systems Seminar 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 | |||||||||||||||||||||||
264-5811-00 S | Programming Systems Seminar
Bewilligung der Dozierenden für alle Studierenden notwendig.
| 2 Std. | P. Müller, M. Vechev |