263-4620-00L Formal System Development
| Semester | Herbstsemester 2011 |
| Dozierende | T. S. Hoang-Do, F. Klaedtke |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Nummer | Titel | Umfang | Dozierende | ||||
|---|---|---|---|---|---|---|---|
| 263-4620-00 V | Formal System Development | 2 Std. |
| T. S. Hoang-Do, F. Klaedtke | |||
| 263-4620-00 U | Formal System Development | 2 Std. |
| T. S. Hoang-Do, F. Klaedtke |