Alexander John Summers: Courses in Spring Semester 2019 |
Name | Dr. Alexander John Summers |
alexander.summers@inf.ethz.ch | |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|---|
263-2812-00L | Program Verification Number of participants limited to 30. | 5 credits | 2V + 1U + 1A | |||||
263-2812-00 V | Program Verification | 2 hrs |
| A. J. Summers | ||||
263-2812-00 U | Program Verification | 1 hrs |
| A. J. Summers | ||||
263-2812-00 A | Program Verification | 1 hrs | A. J. Summers |