course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| course_outline [2010/03/02 04:21] – jonathan | course_outline [2010/03/04 04:46] – jonathan | ||
|---|---|---|---|
| Line 77: | Line 77: | ||
| - | ===== Week 10: March 1===== | + | ===== Week 10: March 8===== |
| + | |||
| + | Complete the refinement/ | ||
| + | |||
| + | Dikstra 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