Search result: Courses in Spring Semester 2018

Computer Science Master Information
Focus Courses
Focus Courses in Software Engineering
Focus Elective Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits2V + 1U + 1A
263-2812-00 VProgram Verification2 hrs
Wed09:15-11:00CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 hrs
Wed11:15-12:00CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 hrsA. J. Summers
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.
W6 credits3V + 2U
263-2300-00 VHow To Write Fast Numerical Code
Does not take place this semester.
3 hrsM. Püschel
263-2300-00 UHow To Write Fast Numerical Code
Does not take place this semester.
2 hrsM. Püschel
  •  Page  1  of  1