|
Feb 18, 2025
|
|
|
|
COSC 7352 - Adv Symbolic Comp & Form VerifCredit 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)
|
|