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 |
| Performance assessment information (valid until the course unit is held again) |
Performance assessment as a semester course |
| ECTS credits | 5 credits |
| Examiners | F. Klaedtke,
T. S. Hoang-Do |
| Type | end-of-semester examination |
| Language of examination | English |
| Repetition | The performance assessment is only offered at the end after the course unit. Repetition only possible after re-enrolling. |
| Admission requirement | Only those who have successfully completed at least 40% of the exercises will be admitted to the examination. |
| Additional information on mode of examination | Oral exam: 30 min. |
