Lecture Notes
lec9.pdf
Description:
This resource contains the following topics Introduction, Abstract and Concrete Objects, A Nifty Abstraction Function, Specification Fields, Benevolent Side Effects, Summary.
Resource Type:
Lecture Notes
pdf
130 kB
lec9.pdf
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
