263-4620-00L  Formal System Development

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


NumberTitleHoursLecturers
263-4620-00 VFormal System Development2 hrs
Fri10:15-12:00CAB G 59 »
T. S. Hoang-Do, F. Klaedtke
263-4620-00 UFormal System Development2 hrs
Fri13:15-15:00CAB G 51 »
T. S. Hoang-Do, F. Klaedtke