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 78: | Line 78: | ||
| ===== Week 10: March 8===== | ===== 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