![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lec01-intro.pptx | 2019-04-01 15:38 | 13M | |
| lec01-intro.pdf | 2019-04-01 15:38 | 11M | |
| lec13-generics.pdf | 2019-05-17 07:12 | 2.2M | |
| lec08-testing.pdf | 2019-04-24 13:02 | 2.1M | |
| lec18-patterns-1.pdf | 2019-05-31 14:25 | 1.8M | |
| lec14-debugging.pdf | 2019-05-07 19:15 | 1.6M | |
| lec11-exceptions.pdf | 2019-05-03 12:42 | 1.5M | |
| lec10-equals.pdf | 2019-04-28 21:18 | 1.4M | |
| lec14-debugging.pptx | 2019-05-07 19:14 | 1.4M | |
| lec08-testing.pptx | 2019-04-24 13:01 | 1.3M | |
| lec04-specifications.pdf | 2019-04-15 11:48 | 1.1M | |
| lec12-subtyping.pdf | 2019-05-11 11:59 | 1.1M | |
| lec02-program-logic.pdf | 2019-04-02 17:27 | 1.1M | |
| lec19-patterns-2.pdf | 2019-06-03 11:27 | 1.0M | |
| lec06-representation-invariants.pdf | 2019-04-16 19:34 | 1.0M | |
| lec15-events.pdf | 2019-08-01 11:19 | 955K | |
| lec03-loop-reasoning.pdf | 2019-04-04 18:23 | 878K | |
| lec05-adts.pdf | 2019-04-14 21:13 | 878K | |
| lec20-systems.pdf | 2019-06-05 11:35 | 797K | |
| lec09-design.pdf | 2019-04-26 12:27 | 792K | |
| lec17-javascript2.pdf | 2019-05-22 11:54 | 657K | |
| lec07-abstraction-functions.pdf | 2019-04-16 19:49 | 574K | |
| lec16-javascript1.pdf | 2019-05-20 11:41 | 507K | |
| lec21-wrapup.pdf | 2019-06-07 00:19 | 376K | |
| lec18-patterns-1.pptx | 2019-05-31 14:25 | 338K | |
| lec19-patterns-2.pptx | 2019-06-03 11:27 | 263K | |
| lec11-exceptions.pptx | 2019-05-03 12:42 | 244K | |
| lec04-specifications.pptx | 2019-04-15 11:48 | 217K | |
| lec20-systems.pptx | 2019-06-05 11:35 | 202K | |
| lec05-adts.pptx | 2019-04-14 21:12 | 185K | |
| lec13-generics.pptx | 2019-05-17 07:12 | 165K | |
| reasoning2.pdf | 2019-04-04 17:58 | 158K | |
| lec09-design.pptx | 2019-04-26 12:27 | 158K | |
| lec12-subtyping.pptx | 2019-05-11 11:58 | 150K | |
| lec15-events.pptx | 2019-08-01 11:18 | 148K | |
| lec10-equals.pptx | 2019-04-28 21:18 | 139K | |
| reasoning1.pdf | 2019-04-02 16:27 | 125K | |
| lec06-representation-invariants.pptx | 2019-04-16 19:34 | 120K | |
| lec03-loop-reasoning.pptx | 2019-04-04 18:23 | 116K | |
| lec02-program-logic.pptx | 2019-04-02 17:27 | 113K | |
| lec07-abstraction-functions.pptx | 2019-04-16 19:49 | 110K | |
| lec21-wrapup.pptx | 2019-06-07 00:19 | 102K | |
| lec17-javascript2.pptx | 2019-05-22 11:54 | 84K | |
| lec16-javascript1.pptx | 2019-05-20 11:41 | 84K | |
| reasoning2.docx | 2019-04-04 17:58 | 44K | |
| reasoning1.docx | 2019-04-02 16:27 | 35K | |
| TypeErasure.java | 2019-05-12 17:35 | 1.2K | |
| lec17-javascript2-code/ | 2019-05-21 20:50 | - | |
| lec16-javascript1-code/ | 2019-05-19 23:37 | - | |