2021 Faculty Courses School of Computing Department of Mathematical and Computing Science Graduate major in Mathematical and Computing Science
Software Verification
- Academic unit or major
- Graduate major in Mathematical and Computing Science
- Instructor(s)
- Yasuhiko Minamide
- Class Format
- Lecture
- Media-enhanced courses
- -
- Day of week/Period
(Classrooms) - 7-8 Tue / 7-8 Fri
- Class
- -
- Course Code
- MCS.T509
- Number of credits
- 200
- Course offered
- 2021
- Offered quarter
- 2Q
- Syllabus updated
- -
- Language
- English