Mar 29, 2024  
2012-2013 Graduate Bulletin 
    
2012-2013 Graduate Bulletin [ARCHIVED CATALOG]

CSC 620 - Formal Methods in Programming Languages

3 hrs.
Prerequisite(s): CSC 616 . Data and control abstractions. Backtracking and nondeterminism. Functional and logic programming. Program specification and verification.