Giters

adamalston / comp550

[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

algorithmsalgorithm-analysisefficiencyprogram-verificationsorting-algorithms

COMP 550 Algorithms and Analysis

About

[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.

algorithmsalgorithm-analysisefficiencyprogram-verificationsorting-algorithms

License:MIT License