263-2812-00L Program Verification
| Semester | Frühjahrssemester 2021 |
| Dozierende | P. Müller, C. Matheja |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Kommentar | Maximale Teilnehmerzahl: 30. |
| Nummer | Titel | Umfang | Dozierende | ||||
|---|---|---|---|---|---|---|---|
| 263-2812-00 G | Program Verification | 3 Std. |
| P. Müller, C. Matheja | |||
| 263-2812-00 A | Program Verification | 1 Std. | P. Müller, C. Matheja |