Verification techniques for elementary data types... - Jacobus Johannes van Wamel | gedrukt boek

Ga direct naar de inhoud, het zoekveld of het hoofdmenu.

Uitgever: Universiteit van Amsterdam, Institute for Logic, Language and Computation, Amsterdam
Verschenen: 1995
ISBN: 9074795250
Kenmerken: 152 pagina's
Aantekening: Proefschrift Universiteit van Amsterdam; Met lit. opg. - Met samenvatting in het Nederlands; Auteursnaam op omslag: Jos van Wamel

Je leent dit boek bij je eigen Bibliotheek. Vul de vier cijfers van je postcode in en vind je Bibliotheek.

Jacobus Johannes van Wamel Verification techniques for elementary data types and retransmission protocols