COMP 550
Algorithms and Analysis
This course mainly includes formal specification and verification of programs, techniques of algorithm analysis, problem-solving paradigms, and survey of selected algorithms.
Algorithms and Analysis
This course mainly includes formal specification and verification of programs, techniques of algorithm analysis, problem-solving paradigms, and survey of selected algorithms.