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
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
