Alexander John Summers: Courses in Spring Semester 2019

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.
5 credits2V + 1U + 1A
263-2812-00 VProgram Verification2 hrs
Wed09:15-11:00CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 hrs
Wed11:15-12:00CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 hrsA. J. Summers