LEADER 01988nam0 2200301 i 450 
001 VAN0090787
005 20221121120044.895
010   $a90-7479-525-0
100   $a20120830d1995       |0itac50      ba
101   $aeng$aDUT
102   $aNL
105   $a||||    |||||
200 1 $aVerification techniques for elementary data types and retransmission protocols$eacademisch 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 uur$fJacobus Johannes van Wamel
210   $aAmsterdam$cInstitute for logic, language and computation$d1995
215   $aVI, 152 p.$d24 cm
300   $aUniversiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato
410  1$1001VAN0090786$12001 $aILLC dissertation series$1210  $aAmsterdam$cInstitute for Logic, Language and Computation.$v1995-6
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
620   $dAmsterdam$3VANL001716
700  1$aWamel$bJacobus Johannes : van$3VANV073642$0723076
712   $aInstitute for logic, language and computation$3VANV113868$4650
801   $aIT$bSOL$c20221125$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/van Wamel - Verification techniques for elementary data types and retransmission protocols.PDF$zvan Wamel - Verification techniques for elementary data types and retransmission protocols.PDF
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0090787
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   4724        $e08   7495      I       20120830            
996   $aVerification techniques for elementary data types and retransmission protocols$91409739
997   $aUNISOB