263-4620-00L Formal System Development
| Semester | Autumn Semester 2011 |
| Lecturers | T. S. Hoang-Do, F. Klaedtke |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| No information on groups available. |
| Semester | Autumn Semester 2011 |
| Lecturers | T. S. Hoang-Do, F. Klaedtke |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| No information on groups available. |