![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| demo/ | 2023-06-16 11:52 | - | |
| sec01-worksheet-soln.pdf | 2022-06-24 23:52 | 140K | |
| sec01-worksheet.pdf | 2022-06-23 19:45 | 127K | |
| sec01.pdf | 2022-06-23 19:45 | 326K | |
| sec02.pdf | 2023-06-26 02:04 | 666K | |
| sec03-abstraction-functions-soln.pdf | 2023-07-03 22:00 | 150K | |
| sec03-abstraction-functions.pdf | 2022-07-05 11:23 | 87K | |
| sec03-demo/ | 2023-06-16 11:52 | - | |
| sec03-test-design-soln.pdf | 2023-07-03 22:03 | 99K | |
| sec03-test-design.pdf | 2023-07-03 21:59 | 60K | |
| sec03-worksheet.pdf | 2022-04-20 11:35 | 70K | |
| sec03.pdf | 2022-07-07 14:47 | 417K | |
| sec04-rep-exp-worksheet-soln.pdf | 2022-04-26 19:04 | 534K | |
| sec04-rep-exp-worksheet.pdf | 2022-04-26 19:04 | 514K | |
| sec04-test-design-worksheet-soln.pdf | 2022-04-26 19:04 | 252K | |
| sec04-test-design-worksheet.pdf | 2022-04-26 19:04 | 232K | |
| sec04.pdf | 2023-07-11 11:34 | 568K | |
| sec05-equals-soln.pdf | 2022-06-19 20:40 | 454K | |
| sec05-equals-worksheet-soln.pdf | 2022-06-19 20:40 | 454K | |
| sec05-equals-worksheet.pdf | 2022-06-19 20:40 | 72K | |
| sec05-equals.pdf | 2022-06-19 20:40 | 72K | |
| sec05-subtyping-soln.pdf | 2022-07-20 18:13 | 105K | |
| sec05-subtyping.pdf | 2022-07-20 18:14 | 105K | |
| sec05.pdf | 2022-07-20 09:48 | 287K | |
| sec06-handout.pdf | 2022-07-26 15:25 | 158K | |
| sec06-worksheet-soln.pdf | 2022-07-26 15:24 | 222K | |
| sec06-worksheet.pdf | 2022-07-26 15:24 | 191K | |
| sec06.pdf | 2023-07-27 03:40 | 761K | |
| sec07-demo/ | 2023-06-16 11:52 | - | |
| sec07-handout.pdf | 2022-05-12 02:02 | 659K | |
| sec07-worksheet-soln.pdf | 2022-05-12 02:02 | 334K | |
| sec07-worksheet.pdf | 2022-05-12 02:02 | 317K | |
| sec07.pdf | 2022-08-01 19:49 | 1.4M | |
| sec08-code/ | 2023-06-16 11:52 | - | |
| sec08-demo/ | 2023-06-16 11:52 | - | |
| sec08.pdf | 2022-08-09 09:40 | 722K | |
| sec09-demo.zip | 2022-05-29 19:42 | 235K | |
| sec09-demo/ | 2023-06-16 11:52 | - | |
| sec09.pdf | 2022-06-03 09:55 | 812K | |
| sec10-worksheet-soln.pdf | 2022-06-03 09:55 | 81K | |
| sec10-worksheet.pdf | 2022-06-03 09:55 | 81K | |
| sec10.pdf | 2022-06-08 11:59 | 657K | |