Alexander John Summers: Course units in Spring Semester 2017

Name Dr. Alexander John Summers
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.
4 credits2V + 1UA. J. Summers