|
|
Dec 12, 2024
|
|
2016-2017 Graduate Course Catalog [ARCHIVED CATALOG]
|
CSE 634 - Assurance FoundationsCollege of Engineering and Computer Science 3 credit(s) At least 1x fall or spring Crosslisted with: CIS 634 Foundational theory, concepts, and computer-assisted reasoning tools necessary for assurance. Topics include functional programming, theorem proving, and logic for reasoning about access control, security, and trust.
|
|
|