![[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.pdf | 2017-09-27 20:15 | 6.6M | |
| lec02-program-logic.pdf | 2017-09-29 11:29 | 262K | |
| lec03-loop-reasoning.pdf | 2017-10-02 11:48 | 371K | |
| lec04-loop-development.pdf | 2017-10-04 12:09 | 180K | |
| lec04.5-loop-development.pdf | 2017-10-06 11:27 | 211K | |
| lec05-specifications.pdf | 2017-10-09 10:14 | 581K | |
| lec06-adts.pdf | 2017-10-11 13:01 | 284K | |
| lec07-code/ | 2017-12-08 10:19 | - | |
| lec07-representation-invariants.pdf | 2017-10-16 10:14 | 152K | |
| lec08-testing.pdf | 2017-10-18 09:52 | 309K | |
| lec09-equals.pdf | 2017-10-20 13:14 | 166K | |
| lec10-exceptions.pdf | 2017-11-17 12:25 | 251K | |
| lec11-design.pdf | 2017-10-27 10:10 | 247K | |
| lec12-subtyping.pdf | 2017-11-08 09:56 | 195K | |
| lec13-generics.pdf | 2017-11-08 09:56 | 511K | |
| lec14-debugging.pdf | 2017-11-01 09:54 | 1.6M | |
| lec15-events.pdf | 2017-11-20 10:16 | 167K | |
| lec16-event-driven-code/ | 2017-12-08 10:19 | - | |
| lec16-event-driven.pdf | 2017-11-22 09:42 | 252K | |
| lec17-code/ | 2017-11-20 12:33 | - | |
| lec17-guis-code/ | 2017-12-08 10:19 | - | |
| lec17-guis.pdf | 2017-12-01 10:09 | 914K | |
| lec18-patterns-1.pdf | 2017-12-04 10:13 | 403K | |
| lec19-patterns-2.pdf | 2017-12-06 10:27 | 362K | |
| lec22-requirements.pdf | 2017-10-25 10:12 | 100K | |
| lec23-advice.pdf | 2017-12-08 09:53 | 210K | |