Peter Müller: Courses in Spring Semester 2019

Award: The Golden Owl
Name Prof. Dr. Peter Müller
FieldSoftware Technology
Address
Professur für Software Technology
ETH Zürich, CAB H 84
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 28 68
E-mailpeter.mueller@inf.ethz.ch
URLhttp://www.pm.inf.ethz.ch
DepartmentComputer Science
RelationshipFull Professor

NumberTitleECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information 7 credits4V + 2U
252-0058-00 VFormal Methods and Functional Programming4 hrs
Tue10:15-12:00HG G 5 »
Thu10:15-12:00HG G 5 »
D. Basin, P. Müller, D. Traytel
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Wed15:15-17:00CAB G 59 »
15:15-17:00CHN D 42 »
15:15-17:00IFW A 34 »
15:15-17:00IFW C 33 »
D. Basin, P. Müller, D. Traytel
264-5811-00LProgramming Systems Seminar Information Restricted registration - show details
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 credits2S
264-5811-00 SProgramming Systems Seminar Special students and auditors need a special permission from the lecturers.
Does not take place this semester.
Permission from lecturers required for all students.
2 hrsP. Müller, M. Vechev