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-11CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 hrs
Wed11-12CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 hrsA. J. Summers