Mar 29, 2024  
2019-2020 Graduate Catalog 
    
2019-2020 Graduate Catalog [Not Current Academic Year. Consult with Your Academic Advisor for Your Catalog Year]

Add to Portfolio (opens a new window)

COSC 7352 - Adv Symbolic Comp & Form Verif

Credit Hours: 3.0
Lecture Contact Hours: 3   Lab Contact Hours: 0
Prerequisite: COSC 6352 or consent of instructor.

Study of current research in symbolic computing, rewriting, automated deduction, and formal verification.



Add to Portfolio (opens a new window)