263-2812-00L  Program Verification

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


NumberTitleHoursLecturers
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