Institutional Repository
Filter by: Subject
Login
UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1997(19)
→
Filter by: Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Filter by: Subject
Results Per Page:
5
10
20
40
60
80
100
Now showing items 11-20 of 5
Previous Page
Next Page
Expressiveness (1)
Expressivity (1)
Fault-tolerance (1)
Finite state systems (1)
Formal methods (1)
Galois connection (1)
Knowledge representation (1)
Model checking (1)
Partial order methods (1)
Predicate transformers (1)
Now showing items 11-20 of 5
Previous Page
Next Page
Search UnisaIR
Search UnisaIR
This Collection
Browse
All of UnisaIR
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Advisor
Type
This Collection
By Issue Date
Authors
Titles
Subjects
Advisor
Type
My Account
Login
Register