Browsing Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie) by Subject "Scientific part of the colloquium"
- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie)
- →
- Browsing Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie) by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie) by Subject "Scientific part of the colloquium"
Now showing items 1-1 of 1
-
(2009-02-26)Table of contents : A Burden of Wonder, by Tinus Strauss. A Computing Medley on Program Verification, by John Andre van der Poll. A Means to an End, by Gertjan Zwartjes. An Assertion-Guided Derivation, by Bruce Watson. The ...
Now showing items 1-1 of 1