C.A. Middelburg, 1948

doctor

Naam C.A. Middelburg
Voornamen Cornelis Adam
Geslacht man
Geboren 1948, Amsterdam, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id050798

Opleiding

Opleiding Wiskunde en Informatica
Graad
doctoraat Wiskunde en Informatica
27 september 1990
Examentype promotie
Instelling
Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Syntax and semantics of VVSL : a language for structured VDM specifications
Trefwoord programmatuurontwikkeling, Software, Specificatie, Temporele logica, Formele talen
Promotor(en)
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
  • prof. dr. C.B. Jones
Aantal stellingen 11
Terug naar zoek resultaten