Formal Methods in Software Design

Level 4 · 0.5 credit · Breadth: The Physical and Mathematical Universes (5) · Hours: 24L
No syllabi yet
Nobody has added a syllabus for CSC465H1 yet. The first one unlocks the assessment breakdown and grade average for everyone after you.
Add the first syllabus
About a minute · free · PDF optional

Prerequisites

CSC236H1CSC236H5CSC240H1CSCB36H3MAT309H1

Calendar text

CSC236H1 / CSC240H1 / MAT309H1 / CSC236H5 / CSCB36H3

Exclusions

Calendar text

NOTE: Students not enrolled in the Computer Science Major or Specialist program at A&S, UTM, or UTSC, or the Data Science Specialist at A&S, are limited to a maximum of 1.5 credits in 300-/400-level CSC/ECE courses.

Course details from the UofT Academic Calendar