|
|
|
Feb 15, 2025
|
|
2014-2015 Graduate Course Catalog [ARCHIVED CATALOG]
|
CSE 773 - CAD: Formal Design3 credit(s) At least 1x fall or spring
This course teaches the theory, practice, and tools for using higher-order logic as a means for describing, designing, and verifying computer systems.
PREREQ: CSE 561 , CSE 607
|
|
|