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