![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | lec01-intro.pdf | 2022-03-27 15:28 | 1.8M | |
![]() | lec01-intro.pptx | 2022-03-28 08:09 | 16M | |
![]() | lec02-program-logic.pdf | 2022-03-30 12:53 | 278K | |
![]() | lec02-program-logic.pptx | 2022-03-30 12:53 | 936K | |
![]() | lec03-loop-reasoning.pptx | 2022-03-31 20:21 | 412K | |
![]() | lec03-loop-reasoning.pdf | 2022-04-01 15:58 | 251K | |
![]() | lec04-loop-development.pdf | 2022-04-03 21:15 | 191K | |
![]() | lec04-loop-development.pptx | 2022-04-03 21:20 | 173K | |
![]() | lec04.5-reasoning-wrapup.pptx | 2022-04-05 22:00 | 142K | |
![]() | lec04.5-reasoning-wrapup.pdf | 2022-04-06 16:14 | 189K | |
![]() | lec05-specifications.pptx | 2022-04-07 22:07 | 1.4M | |
![]() | lec06-adts.pdf | 2022-04-10 22:22 | 336K | |
![]() | lec06-adts.pptx | 2022-04-10 22:22 | 348K | |
![]() | lec05-specifications.pdf | 2022-04-11 11:33 | 436K | |
![]() | lec07-abstraction-functions.pptx | 2022-04-12 21:35 | 194K | |
![]() | lec07-abstraction-functions.pdf | 2022-04-13 12:44 | 249K | |
![]() | lec08-representation-invariants.pdf | 2022-04-14 19:19 | 291K | |
![]() | lec08-representation-invariants.pptx | 2022-04-14 19:19 | 136K | |
![]() | lec09-testing.pptx | 2022-04-18 11:36 | 205K | |
![]() | lec09-testing2.pptx | 2022-04-18 11:42 | 205K | |
![]() | lec09-testing.pdf | 2022-04-18 11:44 | 182K | |
![]() | lec09-testing3.pptx | 2022-04-18 11:45 | 205K | |
![]() | lec09-testing-ii.pptx | 2022-04-19 22:34 | 111K | |
![]() | lec09-testing-ii.pdf | 2022-04-20 12:20 | 160K | |
![]() | lec10-equals.pdf | 2022-04-21 17:57 | 154K | |
![]() | lec10-equals.pptx | 2022-04-21 17:57 | 92K | |
![]() | lec10-equals-ii.pdf | 2022-04-24 19:32 | 618K | |
![]() | lec10-equals-ii.pptx | 2022-04-24 19:33 | 877K | |
![]() | lec11-assertions.pdf | 2022-04-24 19:34 | 109K | |
![]() | lec11-exceptions.pptx | 2022-04-24 19:39 | 244K | |
![]() | lec11-exceptions.pdf | 2022-04-27 00:29 | 359K | |
![]() | lec11-exceptions2.pptx | 2022-04-27 00:29 | 247K | |
![]() | lec12-module-design.pdf | 2022-04-28 21:35 | 516K | |
![]() | lec12-module-design.pptx | 2022-04-28 21:40 | 1.1M | |
![]() | lec13-subtyping.pdf | 2022-05-01 21:54 | 232K | |
![]() | lec13-subtyping.pptx | 2022-05-01 21:55 | 191K | |
![]() | lec13-subtyping-ii.pdf | 2022-05-03 22:59 | 197K | |
![]() | lec13-subtyping-ii.pptx | 2022-05-03 22:59 | 129K | |
![]() | lec14-generics.pdf | 2022-05-08 22:08 | 204K | |
![]() | lec14-generics.pptx | 2022-05-08 22:08 | 117K | |
![]() | lec14-generics-ii.pdf | 2022-05-10 23:30 | 552K | |
![]() | lec14-generics-ii.pptx | 2022-05-10 23:31 | 951K | |
![]() | lec15-guis.pdf | 2022-05-12 22:46 | 472K | |
![]() | lec16-typescript.pdf | 2022-05-15 22:36 | 226K | |
![]() | lec16-javascript.pdf | 2022-05-16 18:45 | 209K | |
![]() | lec17-code/ | 2022-05-17 23:47 | - | |
![]() | lec17-react.pdf | 2022-05-18 07:36 | 268K | |
![]() | lec18-debugging.pdf | 2022-05-19 23:25 | 677K | |
![]() | lec18-debugging.pptx | 2022-05-19 23:26 | 1.5M | |
![]() | lec07-code/ | 2022-05-19 23:26 | - | |
![]() | lec14-code/ | 2022-05-19 23:26 | - | |
![]() | lec15-code/ | 2022-05-19 23:26 | - | |
![]() | lec16-code/ | 2022-05-19 23:26 | - | |
![]() | lec19-code/ | 2022-05-22 21:11 | - | |
![]() | lec19-servers.pptx | 2022-05-23 10:04 | 67K | |
![]() | lec19-servers.pdf | 2022-05-23 11:52 | 175K | |
![]() | lec19-code-ii/ | 2022-05-24 21:37 | - | |
![]() | lec19-servers-ii.pdf | 2022-05-25 15:31 | 196K | |
![]() | lec20-patterns.pdf | 2022-05-26 21:44 | 272K | |
![]() | lec20-patterns.pptx | 2022-05-26 21:44 | 896K | |
![]() | lec20-patterns-ii.pdf | 2022-05-31 23:29 | 419K | |
![]() | lec20-patterns-ii.pptx | 2022-06-01 13:24 | 252K | |
![]() | lec20-patterns-iii.pptx | 2022-06-01 13:25 | 252K | |
![]() | lec21-startups.pdf | 2022-06-03 00:26 | 385K | |
![]() | lec21-startups.pptx | 2022-06-03 00:26 | 448K | |