![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lec01-intro-administrivia.pdf | 2021-09-28 22:39 | 243K | |
| lec01-intro-motivation.pdf | 2021-09-28 22:39 | 2.3M | |
| lec02-program-logic.pdf | 2021-09-28 22:39 | 239K | |
| lec03-loop-reasoning.pdf | 2021-09-28 22:39 | 228K | |
| lec04-loop-development.pdf | 2021-10-13 09:49 | 193K | |
| lec04.5-reasoning-wrapup.pdf | 2021-10-13 09:49 | 182K | |
| lec05-specifications.pdf | 2021-10-13 09:49 | 485K | |
| lec06-adts.pdf | 2021-10-13 09:49 | 316K | |
| lec07-abstraction-functions.pdf | 2021-10-13 09:49 | 304K | |
| lec07-code/ | 2021-12-11 10:14 | - | |
| lec08-representation-invariants.pdf | 2021-10-19 23:34 | 266K | |
| lec09-testing-ii.pdf | 2021-10-20 20:20 | 157K | |
| lec09-testing.pdf | 2021-10-20 20:20 | 181K | |
| lec4.5-worksheet-soln.pdf | 2021-10-13 09:49 | 72K | |
| lec4.5-worksheet.pdf | 2021-10-13 09:49 | 71K | |
| lec10-module-design.pdf | 2021-10-26 21:39 | 496K | |
| lec11-demo/ | 2021-12-11 10:14 | - | |
| lec11-equals-ii.pdf | 2021-10-27 19:47 | 147K | |
| lec11-equals.pdf | 2021-10-27 19:47 | 143K | |
| lec12-exceptions.pdf | 2021-11-03 09:23 | 381K | |
| lec13-subtyping-ii.pdf | 2021-11-03 18:41 | 198K | |
| lec13-subtyping.pdf | 2021-11-03 09:23 | 217K | |
| lec14-debugging.pdf | 2021-11-05 20:27 | 1.6M | |
| lec15-code/ | 2021-09-30 10:07 | - | |
| lec15-generics-ii.pdf | 2021-11-17 20:31 | 308K | |
| lec15-generics.pdf | 2021-11-17 20:31 | 201K | |
| lec16-callbacks.pdf | 2021-11-17 20:31 | 263K | |
| lec16-code/ | 2021-12-11 10:14 | - | |
| lec17-code/ | 2021-12-11 10:14 | - | |
| lec17-guis.pdf | 2021-11-17 20:31 | 596K | |
| lec18-code-ii/ | 2021-09-29 04:16 | - | |
| lec18-code/ | 2021-09-29 04:16 | - | |
| lec18-web-ui-ii.pdf | 2021-11-30 19:07 | 130K | |
| lec18-web-ui.pdf | 2021-11-30 19:07 | 103K | |
| lec19-code-ii/ | 2021-12-01 10:17 | - | |
| lec19-code/ | 2021-12-11 10:14 | - | |
| lec19-servers-ii.pdf | 2021-11-30 19:07 | 105K | |
| lec19-servers.pdf | 2021-11-30 19:07 | 134K | |
| lec20-patterns-ii.pdf | 2021-12-08 10:16 | 413K | |
| lec20-patterns.pdf | 2021-12-08 10:16 | 289K | |
| lec21-real-world.pdf | 2021-09-28 22:39 | 321K | |
| lec21-systems.pdf | 2021-12-08 10:16 | 246K | |
| lec23-wrapup.pdf | 2021-12-11 10:12 | 154K | |