COEN70-Formal Specification and Advanced Data Structures

This course taught object-oriented design, software development and programming using C++, focusing on specification, representation, implementation, and validation of data structures.