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 ===== |