CSC465
CSC465: Formal Methods in Software Design
7 ratings across the web · no written reviews yet
Planning Spring 2027? Save classes to your plan.
From 7 ratings across the web
Students rate this class highly. It's demanding.
No written reviews yet. Yours would be the first.
Took CSC465? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- Ratings across the web
- 4.0 out of 5 stars4.0from 7 ratings
- Department
- Computer Science
What students say
Be the first to review CSC465
Six short steps, about two minutes. Anonymous, no account, no email.
Questions students ask
Classes next to CSC465
CSC courses at U of T with the closest numbers
- CSC443Database System Technology3.0 out of 5 stars3.0· difficulty 50/100· 4 ratings
- CSC458Computer Networking Systems4.2 out of 5 stars4.2· difficulty 67/100· 19 ratings
- CSC463Computational Complexity and Computability3.6 out of 5 stars3.6· difficulty 69/100· 14 ratings
- CSC465Formal Methods in Software DesignThis class
- CSC4673.5 out of 5 stars3.5· difficulty 70/100· 6 ratings
- CSC469Operating Systems Design and Implementation4.8 out of 5 stars4.8· difficulty 83/100· 8 ratings
- CSC485Computational Linguistics1.6 out of 5 stars1.6· difficulty 84/100· 11 ratings