Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Alexander John Summers: Course units in Spring Semester 2019

Name Dr. Alexander John Summers
Address
Programming Methodology Group
ETH Zürich, CAB H 85.1
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 79 51
E-mailalexander.summers@inf.ethz.ch
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
5 credits2V + 1U + 1AA. J. Summers