2025 (Current Year) Faculty Courses School of Computing Department of Computer Science Graduate major in Computer Science
Mathematical Theory of Programs
- Academic unit or major
- Graduate major in Computer Science
- Instructor(s)
- Shin-Ya Nishizaki
- Class Format
- Lecture (HyFlex)
- Media-enhanced courses
- -
- Day of week/Period
(Classrooms) - 3-4 Mon / 3-4 Thu
- Class
- -
- Course Code
- CSC.T422
- Number of credits
- 200
- Course offered
- 2025
- Offered quarter
- 1Q
- Syllabus updated
- -
- Language
- English