263-2812-00L Program Verification
| Semester | Frühjahrssemester 2018 |
| Dozierende | A. J. Summers |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Kommentar | Maximale Teilnehmerzahl: 30. |
| Nummer | Titel | Umfang | Dozierende | ||||
|---|---|---|---|---|---|---|---|
| 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 |