263-2812-00L  Program Verification

SemesterSpring Semester 2022
LecturersP. Müller
Periodicityyearly recurring course
Language of instructionEnglish
CommentNumber of participants limited to 30.


NumberTitleHoursLecturers
263-2812-00 GProgram Verification Special students and auditors need a special permission from the lecturers.3 hrs
Wed09:15-12:00CAB G 56 »
P. Müller
263-2812-00 AProgram Verification Special students and auditors need a special permission from the lecturers.1 hrsP. Müller