J.C. Mulder, 1960
doctor
| Name | J.C. Mulder |
|---|---|
| Full name | Johannes Cornelis |
| Gender | male |
| Born | 1960, Kapelle, Nederland |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id051175 |
Education
| Education | Wiskunde en Informatica |
|---|---|
| Degree |
Dec. 12, 1990
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Case studies in process specification and verification |
| Keyword | programmatuurontwikkeling, Specificatie, Verificatie, Algebra, Software |
| Supervisor(s) |
|
| Propositions | 10 |