263-2910-00L Program Analysis and Synthesis
Semester | Frühjahrssemester 2017 |
Dozierende | M. Vechev |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Nummer | Titel | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|
263-2910-00 V | Program Analysis and Synthesis | 3 Std. |
| M. Vechev | |||
263-2910-00 U | Program Analysis and Synthesis | 2 Std. |
| M. Vechev |