Oct 31, 2024  
2013-2014 Graduate Bulletin 
    
2013-2014 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.