![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | lec01-intro.pdf | 2023-01-04 08:25 | 1.8M | |
| lec02-program-logic.pdf | 2023-01-04 13:06 | 258K | |
| lec03-loop-reasoning.pdf | 2023-01-11 10:03 | 358K | |
| lec04-specifications.pdf | 2023-01-13 11:42 | 352K | |
| lec05-adts.pdf | 2023-01-17 22:16 | 381K | |
| lec06-representation-invariants.pdf | 2023-01-22 21:25 | 312K | |
| lec07-abstraction-functions.pdf | 2023-01-25 11:35 | 341K | |
| lec08-testing.pdf | 2023-01-25 10:08 | 302K | |
| lec09-design.pdf | 2023-01-30 10:05 | 515K | |
| lec10-equals.pdf | 2023-01-31 13:27 | 290K | |
| lec11-exceptions.pdf | 2023-02-08 15:38 | 396K | |
| lec12-subtyping.pdf | 2023-02-08 15:39 | 306K | |
![[DIR]](/icons/folder.gif) | lec13-generics-code/ | 2023-03-01 17:49 | - | |
| lec13-generics.pdf | 2023-02-13 10:10 | 338K | |
| lec14-callbacks-code/ | 2023-03-01 17:49 | - | |
| lec14-callbacks.pdf | 2023-02-23 22:06 | 238K | |
![[ ]](/icons/compressed.gif) | lec15-html-ts-code.zip | 2023-02-20 14:06 | 7.2K | |
| lec15-html-ts-code/ | 2023-02-16 20:11 | - | |
| lec15-html-ts-overview.pdf | 2023-02-17 10:02 | 469K | |
| lec16-react-overview-code.zip | 2023-02-21 17:08 | 19K | |
| lec16-react-overview-code/ | 2023-03-01 17:49 | - | |
| lec16-react-overview.pdf | 2023-02-22 10:09 | 289K | |
| lec17-debugging.pdf | 2023-02-26 19:57 | 1.6M | |
| lec18-servers-code/ | 2023-03-01 17:49 | - | |
| lec18-servers.pdf | 2023-03-01 18:08 | 384K | |
| lec19-patterns-1.pdf | 2023-03-03 10:06 | 536K | |
| lec20-patterns-2.pdf | 2023-03-05 16:06 | 290K | |
| lec21-systems.pdf | 2023-03-08 11:38 | 255K | |
| lec23-wrapup.pdf | 2023-03-10 15:38 | 377K | |
| reasoning1.pdf | 2023-01-04 12:55 | 169K | |
| reasoning2.pdf | 2023-01-05 21:10 | 198K | |
|
|---|