C.A. Middelburg, 1948
doctor
| Name | C.A. Middelburg |
|---|---|
| Full name | Cornelis Adam |
| Gender | male |
| Born | 1948, Amsterdam, Nederland |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id050798 |
Education
| Education | Wiskunde en Informatica |
|---|---|
| Degree |
doctoraat Wiskunde en Informatica
Sept. 27, 1990
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Syntax and semantics of VVSL : a language for structured VDM specifications |
| Keyword | programmatuurontwikkeling, Software, Specificatie, Temporele logica, Formele talen |
| Supervisor(s) |
|
| Propositions | 11 |