263-4620-00L  Formal System Development

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


 
Main linkCourse Homepage
Only public learning materials are listed.