Design, implementation, reasoning about software systems: abstraction and specification of software, testing, verification, abstract data types, object-oriented design, type hierarchies, concurrent software design. [3-2-2*] Prerequisite: APSC 160. This course is not eligible for Credit/D/Fail grading.
Design, implementation, reasoning about software systems: abstraction and specification of software, testing, verification, abstract data types, object-oriented design, type hierarchies, concurrent software design. [3-2-2*] Prerequisite: APSC 160. This course is not eligible for Credit/D/Fail grading.