|
|
|
Feb 04, 2025
|
|
2015-2016 Graduate Course Catalog [ARCHIVED CATALOG]
|
CSE 773 - CAD: Formal DesignCollege of Engineering and Computer Science
3 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
|
|
|