Oct 01, 2020  
2018-2019 Graduate Bulletin 
    
2018-2019 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.