263-2812-00L Program Verification
| Semester | Frühjahrssemester 2023 |
| Dozierende | P. Müller, M. Eilers |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Studiengang | Bereich | Typ | |
|---|---|---|---|
| CAS in Informatik | Vertiefungsfächer und Wahlfächer | W |  |
| Informatik Master | Wahlfächer | W | |
| Informatik Master | Ergänzung in Programming Languages and Software Engineering | W | |