![[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 | 2015-02-05 18:40 | 276K | |
| lec01-intro.pptx | 2015-02-05 18:40 | 251K | |
| lec02-program-logic.pdf | 2015-02-05 18:39 | 187K | |
| lec02-program-logic.pptx | 2015-02-05 18:39 | 149K | |
| lec03-loop-reasoning.pdf | 2015-02-05 18:38 | 183K | |
| lec03-loop-reasoning.pptx | 2015-02-05 18:38 | 156K | |
| lec04-specifications.pdf | 2015-02-05 18:38 | 265K | |
| lec04-specifications.pptx | 2015-02-05 18:38 | 275K | |
| lec05-adts.pdf | 2015-02-05 18:37 | 176K | |
| lec05-adts.pptx | 2015-02-05 18:37 | 141K | |
| lec06-representation-invariants.pdf | 2015-02-05 18:36 | 207K | |
| lec06-representation-invariants.pptx | 2015-02-05 18:36 | 123K | |
| lec07-abstraction-functions.pdf | 2015-02-05 18:36 | 246K | |
| lec07-abstraction-functions.pptx | 2015-02-05 18:36 | 91K | |
| lec08-testing.pdf | 2015-02-05 18:35 | 1.1M | |
| lec08-testing.pptx | 2015-02-05 18:35 | 1.4M | |
| lec09-equals.pdf | 2015-02-05 18:35 | 229K | |
| lec09-equals.pptx | 2015-02-05 18:34 | 184K | |
| lec10-exceptions.pdf | 2015-02-05 18:35 | 280K | |
| lec10-exceptions.pptx | 2015-02-05 18:35 | 281K | |
| lec11-design.pdf | 2015-02-05 18:41 | 325K | |
| lec11-design.pptx | 2015-02-05 18:40 | 215K | |
| lec12-subtyping.pdf | 2015-02-08 20:18 | 239K | |
| lec12-subtyping.pptx | 2015-02-08 20:18 | 193K | |
| lec13-generics.pdf | 2015-02-23 12:02 | 297K | |
| lec13-generics.pptx | 2015-02-23 11:07 | 237K | |
| lec14-events.pdf | 2015-02-23 08:44 | 233K | |
| lec14-events.pptx | 2015-02-23 08:44 | 193K | |
| lec15-debugging.pdf | 2015-02-22 18:58 | 1.6M | |
| lec15-debugging.pptx | 2015-02-22 18:58 | 1.4M | |
| lec16-patterns-1.pdf | 2015-03-09 09:26 | 458K | |
| lec16-patterns-1.pptx | 2015-03-09 09:26 | 367K | |
| lec17-graphics-code/ | 2015-01-04 16:44 | - | |
| lec17-graphics.pdf | 2015-03-02 11:37 | 385K | |
| lec17-graphics.pptx | 2015-03-02 11:37 | 235K | |
| lec18-gui-events-code/ | 2015-03-01 21:19 | - | |
| lec18-gui-events.pdf | 2015-03-01 21:28 | 211K | |
| lec18-gui-events.pptx | 2015-03-01 21:28 | 135K | |
| lec19-patterns-2.pdf | 2015-03-09 10:27 | 261K | |
| lec19-patterns-2.pptx | 2015-03-09 10:26 | 278K | |
| lec20-systems.pdf | 2015-03-11 10:05 | 222K | |
| lec20-systems.pptx | 2015-03-11 10:04 | 215K | |
| lec21-wrapup.pdf | 2015-03-12 13:57 | 147K | |
| lec21-wrapup.pptx | 2015-03-12 13:57 | 108K | |
| reasoning1.docx | 2015-01-06 21:15 | 41K | |
| reasoning1.pdf | 2015-01-06 21:15 | 136K | |
| reasoning2.docx | 2015-01-08 17:25 | 47K | |
| reasoning2.pdf | 2015-01-08 17:26 | 165K | |