![[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-03-29 09:17 | 243K | |
| lec01-intro-motivation.pdf | 2021-03-27 10:13 | 2.3M | |
| lec02-program-logic.pdf | 2021-03-29 16:07 | 239K | |
| lec03-loop-reasoning.pdf | 2021-04-02 11:31 | 228K | |
| lec04-loop-development.pdf | 2021-04-02 16:14 | 189K | |
| lec04.5-reasoning-wrapup.pdf | 2021-04-05 16:37 | 183K | |
| lec05-specifications.pdf | 2021-04-08 14:57 | 473K | |
| lec06-adts.pdf | 2021-04-09 15:05 | 1.1M | |
| lec07-abstraction-functions.pdf | 2021-04-12 15:23 | 166K | |
| lec07-code/ | 2021-05-28 14:57 | - | |
| lec08-representation-invariants.pdf | 2021-04-15 15:18 | 260K | |
| lec09-testing-ii.pdf | 2021-04-19 14:49 | 155K | |
| lec09-testing.pdf | 2021-04-16 15:32 | 175K | |
| lec10-module-design.pdf | 2021-04-22 14:41 | 477K | |
| lec11-equals-ii.pdf | 2021-04-26 14:33 | 143K | |
| lec11-equals.pdf | 2021-04-23 14:39 | 140K | |
| lec12-exceptions.pdf | 2021-04-29 14:07 | 376K | |
| lec13-subtyping-ii.pdf | 2021-04-30 15:39 | 241K | |
| lec13-subtyping.pdf | 2021-04-30 15:33 | 165K | |
| lec14-debugging.pdf | 2021-05-06 15:40 | 1.6M | |
| lec15-code/ | 2021-05-28 14:57 | - | |
| lec15-generics-ii.pdf | 2021-05-12 11:37 | 308K | |
| lec15-generics.pdf | 2021-05-07 15:02 | 182K | |
| lec16-callbacks.pdf | 2021-05-14 10:12 | 259K | |
| lec16-code/ | 2021-05-28 14:57 | - | |
| lec17-code/ | 2021-05-28 14:57 | - | |
| lec17-guis.pdf | 2021-05-14 14:33 | 593K | |
| lec18-code-ii/ | 2021-05-20 15:16 | - | |
| lec18-code/ | 2021-05-17 14:41 | - | |
| lec18-web-ui-ii.pdf | 2021-05-21 11:43 | 130K | |
| lec18-web-ui.pdf | 2021-05-17 14:37 | 99K | |
| lec19-code-ii/ | 2021-05-26 11:45 | - | |
| lec19-code/ | 2021-05-28 14:57 | - | |
| lec19-servers-ii.pdf | 2021-05-26 11:39 | 103K | |
| lec19-servers.pdf | 2021-05-21 15:11 | 132K | |
| lec20-patterns-ii.pdf | 2021-05-28 14:23 | 417K | |
| lec20-patterns.pdf | 2021-05-26 14:36 | 279K | |
| lec21-real-world.pdf | 2021-06-02 14:49 | 321K | |