Browsing Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie) by Subject
- 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
Now showing items 1-4 of 4
| Subject |
|---|
| Algorithms [3] |
| Assertion-guided program development [1] |
| Automated proofs [1] |
| Automation [1] |
Now showing items 1-4 of 4