Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Search result: Course units in Spring Semester 2019

Computer Science Master Information
Focus Courses
Focus Courses in Software Engineering
Focus Elective Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2300-00LHow To Write Fast Numerical Code Information Restricted registration - show details
Number of participants limited to 84.

Prerequisite: Master student, solid C programming skills.

Takes place the last time in this form.
W6 credits3V + 2UM. Püschel
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits2V + 1U + 1AA. J. Summers
263-4630-00LComputer-Aided Modelling and Reasoning Information
In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
W8 credits7PC. Sprenger, D. Traytel
  •  Page  1  of  1