![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lec01-intro.pdf | 2017-03-26 21:07 | 254K | |
| lec01-intro.pptx | 2017-03-26 21:07 | 222K | |
| lec01.key | 2017-03-27 13:59 | 1.6M | |
| lec01.pdf | 2017-03-27 13:59 | 24M | |
| lec01w.pdf | 2017-03-27 13:59 | 343K | |
| lec02-program-logic.pdf | 2017-03-28 21:36 | 192K | |
| lec02-program-logic.pptx | 2017-03-28 21:36 | 145K | |
| lec03-loop-reasoning.pdf | 2017-03-30 19:30 | 184K | |
| lec03-loop-reasoning.pptx | 2017-03-30 19:26 | 151K | |
| lec04-specifications.pdf | 2017-04-05 11:47 | 276K | |
| lec04-specifications.pptx | 2017-04-05 11:46 | 251K | |
| lec05-adts.pdf | 2017-04-11 15:03 | 240K | |
| lec05-adts.pptx | 2017-04-11 15:04 | 189K | |
| lec06-representation-invariants.pdf | 2017-04-11 15:04 | 193K | |
| lec06-representation-invariants.pptx | 2017-04-11 15:04 | 99K | |
| lec07-abstraction-functions.pdf | 2017-04-11 15:05 | 247K | |
| lec07-abstraction-functions.pptx | 2017-04-11 15:04 | 89K | |
| lec08-testing.pdf | 2017-04-19 09:30 | 1.1M | |
| lec08-testing.pptx | 2017-04-19 09:29 | 1.4M | |
| lec09-equals.pdf | 2017-06-03 20:12 | 231K | |
| lec09-equals.pptx | 2017-06-03 20:12 | 181K | |
| lec10-exceptions.pdf | 2017-04-25 15:19 | 288K | |
| lec10-exceptions.pptx | 2017-04-25 15:19 | 276K | |
| lec11-design.pdf | 2017-04-18 15:14 | 326K | |
| lec11-design.pptx | 2017-04-18 15:13 | 190K | |
| lec11.key | 2017-04-25 15:37 | 1.4M | |
| lec11.pdf | 2017-04-25 15:37 | 13M | |
| lec11w.pdf | 2017-04-25 15:38 | 141K | |
| lec12-subtyping.pdf | 2017-04-29 17:14 | 236K | |
| lec12-subtyping.pptx | 2017-04-29 17:14 | 184K | |
| lec13-generics.pdf | 2017-05-09 15:49 | 278K | |
| lec13-generics.pptx | 2017-05-09 15:49 | 208K | |
| lec14-debugging.pdf | 2017-05-18 19:19 | 1.6M | |
| lec14-debugging.pptx | 2017-05-18 19:19 | 1.4M | |
| lec15-events.pdf | 2017-05-14 20:53 | 233K | |
| lec15-events.pptx | 2017-05-14 20:53 | 187K | |
| lec16-graphics-code/ | 2017-05-21 15:10 | - | |
| lec16-graphics.pdf | 2017-05-21 15:30 | 386K | |
| lec16-graphics.pptx | 2017-05-21 15:30 | 230K | |
| lec17-gui-events-code/ | 2017-05-23 16:40 | - | |
| lec17-gui-events.pdf | 2017-05-23 16:50 | 221K | |
| lec17-gui-events.pptx | 2017-05-23 16:50 | 132K | |
| lec18-patterns-1.pdf | 2017-05-25 14:25 | 465K | |
| lec18-patterns-1.pptx | 2017-05-25 14:25 | 370K | |
| lec19-patterns-2.pdf | 2017-05-25 14:29 | 255K | |
| lec19-patterns-2.pptx | 2017-05-25 14:29 | 274K | |
| lec21-wrapup.pdf | 2017-06-01 17:31 | 150K | |
| lec21-wrapup.pptx | 2017-06-01 17:31 | 108K | |
| reasoning1.docx | 2017-03-28 18:52 | 44K | |
| reasoning1.pdf | 2017-03-28 18:52 | 136K | |
| reasoning2.docx | 2017-04-03 13:36 | 49K | |
| reasoning2.pdf | 2017-04-03 13:36 | 175K | |