![[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 | 2016-03-28 14:03 | 251K | |
| lec01-intro.pptx | 2016-03-28 14:03 | 220K | |
| lec01-intro.pptx.pdf | 2016-03-28 11:04 | 286K | |
| lec02-program-logic.pdf | 2016-03-29 21:07 | 187K | |
| lec02-program-logic.pptx | 2016-03-29 21:07 | 145K | |
| lec03-loop-reasoning.pdf | 2016-03-31 20:33 | 183K | |
| lec03-loop-reasoning.pptx | 2016-03-31 20:33 | 152K | |
| lec04-specifications.pdf | 2016-04-05 20:12 | 271K | |
| lec04-specifications.pptx | 2016-04-05 20:09 | 252K | |
| lec05-adts.pdf | 2016-04-07 14:17 | 240K | |
| lec05-adts.pptx | 2016-04-07 14:16 | 191K | |
| lec06-representation-invariants.pdf | 2016-04-10 21:14 | 205K | |
| lec06-representation-invariants.pptx | 2016-04-10 21:13 | 99K | |
| lec07-abstraction-functions.pdf | 2016-04-10 21:17 | 247K | |
| lec07-abstraction-functions.pptx | 2016-04-10 21:17 | 89K | |
| lec08-testing.pdf | 2016-04-18 15:35 | 1.1M | |
| lec08-testing.pptx | 2016-04-18 14:31 | 1.4M | |
| lec09-equals.pdf | 2016-04-29 15:58 | 230K | |
| lec09-equals.pptx | 2016-04-29 15:57 | 182K | |
| lec10-exceptions.pdf | 2016-04-28 16:45 | 286K | |
| lec10-exceptions.pptx | 2016-04-28 16:44 | 277K | |
| lec11-design.pdf | 2016-04-25 14:03 | 324K | |
| lec11-design.pptx | 2016-04-25 14:03 | 192K | |
| lec12-subtyping.pdf | 2016-05-03 22:26 | 235K | |
| lec12-subtyping.pptx | 2016-05-03 22:26 | 187K | |
| lec13-generics.pdf | 2016-05-06 11:55 | 275K | |
| lec13-generics.pptx | 2016-05-06 11:54 | 211K | |
| lec14-debugging.pdf | 2016-05-17 18:29 | 1.6M | |
| lec14-debugging.pptx | 2016-05-17 18:28 | 1.4M | |
| lec15-events.pdf | 2016-05-15 17:36 | 232K | |
| lec15-events.pptx | 2016-05-15 17:36 | 190K | |
| lec16-graphics-code/ | 2016-05-20 17:26 | - | |
| lec16-graphics.pdf | 2016-05-20 17:35 | 385K | |
| lec16-graphics.pptx | 2016-05-20 17:35 | 232K | |
| lec17-gui-events-code/ | 2016-05-23 18:28 | - | |
| lec17-gui-events.pdf | 2016-05-23 18:44 | 212K | |
| lec17-gui-events.pptx | 2016-05-23 18:44 | 133K | |
| lec18-patterns-1.pdf | 2016-05-25 17:01 | 463K | |
| lec18-patterns-1.pptx | 2016-05-25 17:01 | 371K | |
| lec19-patterns-2.pdf | 2016-05-25 17:17 | 254K | |
| lec19-patterns-2.pptx | 2016-05-25 17:17 | 273K | |
| lec21-wrapup.pdf | 2016-05-31 18:19 | 148K | |
| lec21-wrapup.pptx | 2016-05-31 18:18 | 108K | |
| reasoning1.docx | 2016-03-29 20:35 | 44K | |
| reasoning1.pdf | 2016-03-29 20:33 | 136K | |
| reasoning2.docx | 2016-03-31 20:23 | 52K | |
| reasoning2.pdf | 2016-03-31 20:23 | 175K | |