263-4620-00L  Formal System Development

SemesterAutumn Semester 2011
LecturersT. S. Hoang-Do, F. Klaedtke
Periodicityyearly recurring course
Language of instructionEnglish


There are no additional restrictions for the registration.