J.C. Mulder, 1960
doctor
| Naam | J.C. Mulder |
|---|---|
| Voornamen | Johannes Cornelis |
| Geslacht | man |
| Geboren | 1960, Kapelle, Nederland |
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id051175 |
Opleiding
| Opleiding | Wiskunde en Informatica |
|---|---|
| Graad |
12 december 1990
|
| Examentype | promotie |
| Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Proefschrift | Case studies in process specification and verification |
| Trefwoord | programmatuurontwikkeling, Specificatie, Verificatie, Algebra, Software |
| Promotor(en) |
|
| Aantal stellingen | 10 |