Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav07_lecture_4_skeleton [2007/03/22 23:12] olivier.gobet |
sav07_lecture_4_skeleton [2007/03/26 14:14] (current) leander.eyer |
||
|---|---|---|---|
| Line 72: | Line 72: | ||
| * Edsger W. Dijkstra: A Discipline of Programming | * Edsger W. Dijkstra: A Discipline of Programming | ||
| * C. A. R. Hoare, He Jifeng: Unifying Theories of Programming | * C. A. R. Hoare, He Jifeng: Unifying Theories of Programming | ||
| + | |||
| ===== Modeling data structures ===== | ===== Modeling data structures ===== | ||