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]
sav07_lecture_4_skeleton [2007/03/26 14:14] (current)
|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 =====|