course_outline
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
course_outline [2010/03/02 04:21] – jonathan | course_outline [2010/03/04 04:47] – jonathan | ||
---|---|---|---|
Line 77: | Line 77: | ||
- | ===== Week 10: March 1===== | + | ===== Week 10: March 8===== |
+ | |||
+ | Complete the refinement/ | ||
+ | |||
+ | Dijkstra guarded command language, and proofs of loops via variants and invariants. | ||
Chapter XVI: Location access controller | Chapter XVI: Location access controller |
course_outline.txt · Last modified: 2010/03/04 04:57 by jonathan