263-2812-00L  Program Verification

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


ProgrammeSectionType
CAS in Computer ScienceFocus Courses and ElectivesWInformation
Doctoral Department of Computer ScienceDoctoral and Post-Doctoral CoursesWInformation
Computer Science MasterElective Focus Courses General StudiesWInformation
Computer Science MasterFocus Elective Courses Software EngineeringWInformation