2017-2018 Graduate Catalog 
    
    Jan 15, 2021  
2017-2018 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

COSC 440 - Formal Foundations of Software Engineering

4 Credit Hours
Principles of analysis and design of information systems. Principles of program design and verification, formal objects, formal specifications.
(RE) Prerequisite(s): 311.



Add to Portfolio (opens a new window)