Alexander John Summers: Lerneinheiten im Frühjahrssemester 2019
| Name | Herr Dr. Alexander John Summers |
| Adresse | Programming Methodology Group ETH Zürich, CAB H 85.1 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telefon | +41 44 632 79 51 |
| 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 | A. J. Summers | |