01988nam0 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 computationVANV113868650ITSOL20221125RICA/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 protocols1409739UNISOB02343oas 22007813a 450 991014027110332120250328213018.0(DE-599)ZDB2777558-6(OCoLC)680527180(CONSER) 2014201514(CKB)2670000000555195(EXLCZ)99267000000055519520101110b18961902 uy aengurbn||||||abpurbn||||||adatxtrdacontentcrdamediacrrdacarrierAmerican historical magazineNashville, Tenn. University Press1896-1902"Representing the chair of American history in the Peabody Normal College," 1898-Jan. 1902.2333-8970 Local historyPeriodicalsfsshTennesseeHistory, LocalPeriodicalsTennesseeHistoryPeriodicalsUnited StatesHistoryPeriodicalsTennesseefasthttps://id.oclc.org/worldcat/entity/E39PBJrRf39VjgwCHrPYYvMMfqUnited Statesfasthttps://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrqTennesseeHistoire localePériodiquesTennesseeHistoirePériodiquesÉtats-UnisHistoirePériodiquesUnited States, TennesseePeriodicalsfsshUnited States, TennesseeHistoryPeriodicalsfsshLocal history.fastHistory.fastPeriodicals.fastperiodicals.aatPeriodicals.lcgftPériodiques.rvmgfLocal historyPeriodicals.976.8Peabody Normal College.Tennessee Historical Society.OCLCEOCLCEOCLCQDLCOCLCFEYMOCLCOOCLCQOCLOCLCQOCLCAOCLCLZ5ARCEU3WINARCWYUMIGCLVT2FHLJOURNAL9910140271103321American historical magazine2026059UNINA