![[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 | - | ||
| 01-intro.pdf | 2014-03-31 09:31 | 342K | |
| 01-intro.pptx | 2014-03-31 09:31 | 304K | |
| 02-program-logic.pdf | 2014-04-02 11:17 | 183K | |
| 02-program-logic.pptx | 2014-04-02 11:17 | 139K | |
| 02-reasoning1.docx | 2014-04-02 13:18 | 41K | |
| 02-reasoning1.pdf | 2014-04-02 13:18 | 123K | |
| 03-loop-reasoning.pdf | 2014-04-04 10:13 | 181K | |
| 03-loop-reasoning.pptx | 2014-04-04 10:13 | 149K | |
| 03-reasoning2.docx | 2014-04-04 10:29 | 49K | |
| 03-reasoning2.pdf | 2014-04-04 10:29 | 165K | |
| 04-specifications.pdf | 2014-04-08 17:54 | 267K | |
| 04-specifications.pptx | 2014-04-08 17:53 | 240K | |
| 05-adts.pdf | 2014-04-13 18:36 | 171K | |
| 05-adts.pptx | 2014-04-13 18:38 | 129K | |
| 06-representation-invariants.pdf | 2014-04-13 19:35 | 204K | |
| 06-representation-invariants.pptx | 2014-04-13 19:34 | 99K | |
| 07-abstraction-functions.pdf | 2014-04-13 19:42 | 246K | |
| 07-abstraction-functions.pptx | 2014-04-13 19:41 | 89K | |
| 08-testing.pdf | 2014-04-20 20:55 | 1.1M | |
| 08-testing.pptx | 2014-04-20 20:55 | 1.4M | |
| 09-design.pdf | 2014-04-22 19:17 | 322K | |
| 09-design.pptx | 2014-04-22 19:16 | 184K | |
| 10-equals.pdf | 2014-04-29 17:19 | 228K | |
| 10-equals.pptx | 2014-04-29 17:19 | 174K | |
| 11-exceptions.pdf | 2014-04-29 17:19 | 285K | |
| 11-exceptions.pptx | 2014-04-29 17:19 | 273K | |
| 12-subtyping.pdf | 2014-05-04 21:50 | 233K | |
| 12-subtyping.pptx | 2014-05-04 21:50 | 182K | |
| 13-generics.pdf | 2014-05-11 21:28 | 271K | |
| 13-generics.pptx | 2014-05-11 21:27 | 201K | |
| 14-events.pdf | 2014-05-15 17:46 | 231K | |
| 14-events.pptx | 2014-05-15 17:46 | 183K | |
| 15-debugging.pdf | 2014-05-15 18:11 | 1.6M | |
| 15-debugging.pptx | 2014-05-15 18:11 | 1.4M | |
| 16-patterns-1.pdf | 2014-05-28 16:39 | 456K | |
| 16-patterns-1.pptx | 2014-05-28 16:39 | 358K | |
| 17-graphics-code/ | 2014-05-20 19:55 | - | |
| 17-graphics.pdf | 2014-05-20 19:52 | 384K | |
| 17-graphics.pptx | 2014-05-20 19:52 | 226K | |
| 18-gui-events-code/ | 2014-05-22 13:59 | - | |
| 18-gui-events.pdf | 2014-05-22 14:12 | 210K | |
| 18-gui-events.pptx | 2014-05-22 14:13 | 103K | |
| 19-patterns-2.pdf | 2014-05-30 14:04 | 252K | |
| 19-patterns-2.pptx | 2014-05-30 14:04 | 274K | |
| 20-systems.pdf | 2014-06-03 12:48 | 218K | |
| 20-systems.pptx | 2014-06-03 12:48 | 214K | |
| 21-wrapup.pdf | 2014-06-05 14:14 | 718K | |
| 21-wrapup.pptx | 2014-06-05 14:14 | 532K | |