01993nam0 2200301 i 450 VAN009078720221121120044.89590-7479-525-020120830d1995 |0itac50 baengDUTNL|||| |||||Verification techniques for elementary data types and retransmission protocolsacademisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uurJacobus Johannes van WamelAmsterdamInstitute for logic, language and computation1995VI, 152 p.24 cmUniversiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato001VAN00907862001 ILLC dissertation series210 AmsterdamInstitute for Logic, Language and Computation.1995-668-XXComputer science [MSC 2020]VANC019670MFAmsterdamVANL001716WamelJacobus Johannes : vanVANV073642723076Institute for logic, language and computationVANV113868650ITSOL20230616RICA/sebina/repository/catalogazione/documenti/van Wamel - Verification techniques for elementary data types and retransmission protocols.PDFvan Wamel - Verification techniques for elementary data types and retransmission protocols.PDFBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0090787BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 4724 08 7495 I 20120830 Verification techniques for elementary data types and retransmission protocols1409739UNICAMPANIA