MIT OpenCourseWare

复习/实习课程

课程单元
R1 Specification and Testing (PDF)
R2 ADT, Rep Exposure, and Object Model Diagrams (PDF)
R3 Abstraction Functions and Representation Invariants (PDF)
R4 Equality and Hashing (PDF)
R5 True Subtyping and the Substitution Principle (PDF)
R6 Design Patterns (PDF)