Lecture Notes
lec8.pdf
Description:
This resource contains the following topics Context, A Tale of Two Spaces: Rep and Abstract, Rep Invariants and Abstraction Functions, Rep Invariants for Modular Reasoning, Rep Exposure, Summary.
Resource Type:
Lecture Notes
pdf
100 kB
lec8.pdf
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments