CPEN_V 221A - A_101 - (Lecture)

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