Peter Müller: Lehrveranstaltungen im Frühjahrssemester 2018

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 + 2U
252-0058-00 VFormal Methods and Functional Programming4 Std.
Di10:15-12:00HG G 5 »
Do10:15-12:00HG G 5 »
13.03.10:15-11:00HG E 3 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Mi15:15-17:00CHN D 42 »
16:15-18:00NO C 6 »
11.07.10:15-12:00HG F 5 »
D. Basin, P. Müller
252-0216-00LSoftware Architecture and Engineering Information 8 KP4V + 3U
252-0216-00 VSoftware Architecture and Engineering4 Std.
Mo10:15-12:00CAB G 61 »
Mi10:15-12:00CAB G 61 »
P. Müller, M. Vechev
252-0216-00 USoftware Architecture and Engineering3 Std.
Mo13:15-16:00CHN D 44 »
Di15:15-18:00CHN D 48 »
15:15-18:00HG D 3.1 »
15:15-18:00ML E 12 »
Do15:15-18:00ETZ F 91 »
P. 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 KP2S
264-5811-00 SProgramming Systems Seminar Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendig.
Bewilligung der Dozierenden für alle Studierenden notwendig.
2 Std.P. Müller, M. Vechev