2015-2016 Undergraduate Catalog 
    
    Dec 10, 2018  
2015-2016 Undergraduate Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

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]