Alexander John Summers: Lehrveranstaltungen im Frühjahrssemester 2019 |
Name | Herr Dr. Alexander John Summers |
alexander.summers@inf.ethz.ch | |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|---|
263-2812-00L | Program Verification Maximale Teilnehmerzahl: 30. | 5 KP | 2V + 1U + 1A | |||||
263-2812-00 V | Program Verification | 2 Std. |
| A. J. Summers | ||||
263-2812-00 U | Program Verification | 1 Std. |
| A. J. Summers | ||||
263-2812-00 A | Program Verification | 1 Std. | A. J. Summers |