![[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-06-16 18:28 | 6.8M | |
| lec10-debugging.pdf | 2017-07-17 16:29 | 1.6M | |
| lec05-specifications.pdf | 2017-06-29 16:02 | 737K | |
| lec12-generics.pdf | 2017-07-26 14:14 | 505K | |
| lec03-loop-reasoning.pdf | 2017-06-23 14:06 | 402K | |
| lec17-guis.pdf | 2017-08-09 13:03 | 402K | |
| lec18-patterns-1.pdf | 2017-08-11 14:13 | 390K | |
| lec19-patterns-2.pdf | 2017-08-14 13:00 | 363K | |
| lec09-testing.pdf | 2017-07-12 18:37 | 311K | |
| lec04-loop-development.pdf | 2017-06-25 12:30 | 272K | |
| lec02-program-logic.pdf | 2017-06-21 11:54 | 260K | |
| lec16-event-driven.pdf | 2017-08-06 15:28 | 253K | |
| lec07-representation-invariants.pdf | 2017-07-07 17:14 | 252K | |
| lec10-exceptions.pdf | 2017-07-24 17:30 | 251K | |
| lec11-exceptions.pdf | 2017-07-20 17:39 | 251K | |
| lec14-design.pdf | 2017-07-31 17:11 | 246K | |
| lec13-subtyping.pdf | 2017-07-28 23:17 | 196K | |
| lec06-adts.pdf | 2017-07-04 13:00 | 182K | |
| lec08-equals.pdf | 2017-07-10 17:38 | 171K | |
| lec15-events.pdf | 2017-08-04 11:57 | 162K | |
| lec22-requirements.pdf | 2017-07-10 17:44 | 100K | |
| lec20-summary.pdf | 2017-08-16 12:44 | 77K | |
| lec17-guis-code/ | 2017-08-09 13:04 | - | |
| lec16-event-driven-code/ | 2017-08-06 15:32 | - | |
| adt-code/ | 2017-07-10 17:53 | - | |