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 | ||
|---|---|---|---|---|---|
 |
This forum or my.unisa | by goose | 1,539 | 1 | 02/06/2008 08:32AM Last Post by goose |
|
exam | by matthew | 1,422 | 4 | 01/20/2008 06:14PM Last Post by Gibbs00 |
|
C++ Programmer Position | by liang | 1,539 | 1 | 12/14/2007 03:55PM Last Post by liang |
|
Assignment 02 | by dewaal777 | 1,597 | 7 | 12/06/2007 08:38AM Last Post by dewaal777 |
|
Chapter 15 excercises | by dewaal777 | 1,946 | 1 | 08/22/2007 03:17PM Last Post by dewaal777 |
|
Jobs Available | by liang | 1,734 | 1 | 08/07/2007 09:18AM Last Post by liang |
|
COS 492 Assignment 1 question. | by chrisbrat | 1,794 | 4 | 05/04/2007 02:10PM Last Post by matthew |