J.J. van Wamel, 1963

doctor

Naam J.J. van Wamel
Voornamen Jacobus Johannes
Geslacht man
Geboren 1963, Maarssen, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id053384

Opleiding

Opleiding Wiskunde en Informatica
Graad
15 september 1995
Examentype promotie
Instelling
Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Verification techniques for elementary data types and retransmission protocols
Trefwoord telegrafie, datatransmissie, Datatransmissie, Protocollen (informatica), Verificatie, Procesalgebra
Promotor(en)
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
Copromotor(en)
  • dr. P.H. Rodenburg, Universiteit van Amsterdam
Aantal stellingen 10
Terug naar zoek resultaten