adamalston / comp550 Goto Github PK
View Code? Open in Web Editor NEW[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.
License: MIT License