![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01_introduction.ps | 1995-08-28 15:00 | 88K | |
| 02_logic_and_proof.ps | 1995-08-28 15:00 | 67K | |
| 03_sets_relns.ps | 1996-01-13 14:32 | 91K | |
| 05_seqs_induction.ps | 1996-01-13 14:32 | 43K | |
| 09_intro_to_Z.ps | 1996-01-13 14:33 | 66K | |
| 10_reasoning-about_Z.ps | 1996-01-13 14:33 | 302K | |
| 11_oscilloscope.ps | 1996-01-13 14:34 | 69K | |
| 13_abstraction_in_Z.ps | 1996-01-13 14:34 | 90K | |
| 18_CSP_1_processes.ps | 1996-01-13 14:34 | 85K | |
| 19_CSP_2_reasoning.ps | 1996-01-13 14:35 | 61K | |
| 20_CSP_3_non-det.ps | 1996-01-13 14:35 | 62K | |
| 21_CSP_4_applications.ps | 1996-01-13 14:35 | 67K | |
| 24_petri_nets_1.ps | 1996-01-13 14:36 | 77K | |
| 25_petri_nets_2.ps | 1996-01-13 14:36 | 129K | |