CPEN_V 221B - B_L1C - (Laboratory)

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.