![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| reasoning2.pdf | 2019-09-24 11:31 | 188K | |
| reasoning1.pdf | 2019-09-24 11:31 | 200K | |
| lec23-wrapup.pdf | 2019-12-04 09:07 | 90K | |
| lec22-connection-to-ethics.pdf | 2019-12-03 10:33 | 35K | |
| lec21-systems.pdf | 2019-11-30 20:21 | 236K | |
| lec20-patterns-2.pdf | 2019-11-25 09:09 | 155K | |
| lec19-patterns-1.pdf | 2019-11-20 13:40 | 355K | |
| lec18-servers.pdf | 2019-11-18 10:54 | 168K | |
| lec18-servers-code/ | 2019-11-18 10:54 | - | |
| lec17-debugging.pdf | 2019-11-13 09:30 | 340K | |
| lec16-react-overview.pdf | 2019-11-13 08:28 | 68K | |
| lec16-code.zip | 2019-11-12 23:27 | 143K | |
| lec15-javascript-overview.pdf | 2019-11-06 09:14 | 102K | |
| lec15-javascript-overview-code/ | 2019-11-06 09:16 | - | |
| lec14code.zip | 2019-11-04 08:56 | 7.0K | |
| lec14-callbacks.pdf | 2019-11-06 11:39 | 91K | |
| lec13-generics.pdf | 2019-10-28 15:40 | 191K | |
| lec12-subtyping.pdf | 2019-10-25 09:55 | 154K | |
| lec11-exceptions.pdf | 2019-10-23 10:04 | 162K | |
| lec10-equals.pdf | 2019-10-17 15:42 | 116K | |
| lec09-design.pdf | 2019-10-14 15:53 | 282K | |
| lec08-testing.pdf | 2019-10-09 10:17 | 532K | |
| lec07-abstraction-functions.pdf | 2019-10-09 11:57 | 175K | |
| lec06-representation-invariants.pdf | 2019-10-09 10:01 | 154K | |
| lec05-adts.pdf | 2019-10-04 09:13 | 160K | |
| lec04-specifications.pdf | 2019-10-09 11:56 | 102K | |
| lec03-loop-reasoning.pdf | 2019-10-09 11:56 | 120K | |
| lec02-program-logic.pdf | 2019-10-09 11:55 | 120K | |
| lec01-intro.pdf | 2019-10-09 11:55 | 432K | |
| TypeErasure.java | 2019-10-28 15:43 | 1.2K | |