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 | Views | Posts | Last Post | ||
|---|---|---|---|---|---|
 |
honours textbooks 4 sale | by 35068973 | 1,269 | 1 | 12/20/2009 01:30PM Last Post by 35068973 |
|
INF482X Textbook for Sale | by Portia | 1,747 | 1 | 03/12/2009 03:55PM Last Post by Portia |
|
Assignment 2 - PDF | by late_student | 1,792 | 4 | 01/09/2009 02:48PM Last Post by workit243 |
|
Assign 02 : Question 2 | by deveng | 2,258 | 1 | 07/14/2008 02:35PM Last Post by deveng |
|
Assignment 1 | by deveng | 2,174 | 3 | 06/25/2008 08:07AM Last Post by deveng |
|
need to choose an INF module | by 35068973 | 2,062 | 2 | 03/17/2008 02:52PM Last Post by vm |
|
When is the tut 101 for 2008 going to be available | by deveng | 2,302 | 1 | 03/13/2008 10:54AM Last Post by deveng |