![[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-motivation.pdf | 2020-09-28 13:45 | 11M | |
| lec01-intro-administrivia.pdf | 2020-09-28 18:12 | 524K | |
| lec02-program-logic.pdf | 2020-09-30 16:14 | 488K | |
| lec03-loop-reasoning.pdf | 2020-10-02 13:14 | 300K | |
| lec04-loop-development.pdf | 2020-10-05 12:18 | 160K | |
| lec04.5-reasoning-wrapup.pdf | 2020-10-08 12:52 | 155K | |
| lec05-specifications.pdf | 2020-10-09 16:35 | 661K | |
| lec06-adts.pdf | 2020-10-12 12:58 | 353K | |
| lec07-abstraction-functions.pdf | 2020-10-14 12:58 | 129K | |
| lec08-representation-invariants.pdf | 2020-10-16 13:23 | 169K | |
| lec09-testing.pdf | 2020-10-19 12:43 | 259K | |
| lec09-testing-ii.pdf | 2020-10-22 13:14 | 132K | |
| lec10-module-design.pdf | 2020-10-23 12:32 | 720K | |
| lec11-equals.pdf | 2020-10-25 23:38 | 98K | |
| lec11-equals-ii.pdf | 2020-10-29 12:20 | 112K | |
| lec12-exceptions.pdf | 2020-10-30 11:48 | 292K | |
| lec13-subtyping.pdf | 2020-11-01 19:05 | 134K | |
| lec13-subtyping-ii.pdf | 2020-11-05 12:18 | 171K | |
| lec14-generics.pdf | 2020-11-06 13:01 | 147K | |
| lec14-generics-ii.pdf | 2020-11-09 17:50 | 450K | |
| lec15-callbacks.pdf | 2020-11-13 12:32 | 176K | |
| lec16-guis.pdf | 2020-11-16 10:19 | 387K | |
| lec17-web-ui.pdf | 2020-11-18 00:48 | 71K | |
| lec17-code/ | 2020-11-20 12:08 | - | |
| lec17-web-ui-ii.pdf | 2020-11-20 12:22 | 96K | |
| lec18-servers.pdf | 2020-11-27 17:54 | 68K | |
| lec18-servers-ii.pdf | 2020-11-30 11:06 | 107K | |
| lec17-code-ii/ | 2020-11-30 11:33 | - | |
| lec19-debugging.pdf | 2020-12-01 23:11 | 1.6M | |
| lec20-patterns.pdf | 2020-12-04 11:44 | 421K | |
| lec07-code/ | 2020-12-05 23:10 | - | |
| lec15-code/ | 2020-12-05 23:10 | - | |
| lec16-code/ | 2020-12-05 23:10 | - | |
| lec18-code-ii/ | 2020-12-05 23:10 | - | |
| lec18-code/ | 2020-12-05 23:10 | - | |
| lec20-patterns-ii.pdf | 2020-12-07 11:18 | 314K | |
| lec21-real-world.pdf | 2020-12-10 11:44 | 321K | |