The spring semester 2021 will certainly take place online until Easter. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

Peter Müller: Course units in Spring Semester 2021

Name Prof. Dr. Peter Müller
FieldSoftware Technology
Address
Programming Methodology Group
ETH Zürich, CAB H 84
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Award: The Golden Owl
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 + 2UD. Basin, P. Müller
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
5 credits3G + 1AP. Müller, C. Matheja