Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

    Mar 23, 2023  
2012-2013 Undergraduate Catalog 
2012-2013 Undergraduate 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)