263-2812-00L Program Verification
| Semester | Frühjahrssemester 2022 |
| Dozierende | P. Müller |
| 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 | |||
| 263-2812-00 A | Program Verification
| 1 Std. | P. Müller |