COS492R
Formal program verification
| Announcements | Last Post | |
|---|---|---|
 |
SoC Curricula | 09/30/2017 01:08PM |
|
Demarcation or scoping of examinations and assessment | 02/13/2017 07:59AM |
|
School of Computing Short Learning Programmes | 11/24/2014 08:37AM |
|
Unisa contact information | 07/28/2011 01:28PM |
| Subject | Posts | Last Post | ||
|---|---|---|---|---|
 |
backhouse textbook | by rossfleming | 1 | 12/14/2006 09:42AM Last Post by rossfleming |
|
Assignment 2 Results | by Lois | 1 | 09/21/2006 09:22AM Last Post by Lois |
|
textbook and notes R250 | by rossfleming | 1 | 04/05/2006 01:51PM Last Post by rossfleming |
|
Textbook | by sa.moodley | 1 | 03/22/2006 07:27AM Last Post by sa.moodley |
|
hi | by AcidRain | 2 | 02/26/2006 08:23PM Last Post by malcolm |