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

263-2812-00L  Program Verification

SemesterSpring Semester 2019
LecturersA. J. Summers
Periodicityyearly recurring course
Language of instructionEnglish
CommentNumber of participants limited to 30.


Places30 at the most
PriorityRegistration for the course unit is only possible for the primary target group
Primary target groupComputer Science MSc (263000)
Waiting listuntil 21.02.2019