263-2812-00L  Program Verification

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


ProgrammeSectionType
CAS in Computer ScienceFocus Courses and ElectivesWInformation
Computer Science MasterElective CoursesWInformation
Computer Science MasterElective Focus Courses General StudiesWInformation
Computer Science MasterMinor in Programming Languages and Software EngineeringWInformation