Verification techniques for elementary data types and retransmission protocols / Jacobus Johannes van Wamel - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

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

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

http://data.bibliotheken.nl/id/nbt/p134852397

5cfc8f08c82b1755ef9199ef2a7b1b0d

mainEntity

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

http://data.bibliotheken.nl/id/nbt/p134852397

about

author

description

Auteursnaam op omslag: Jos van Wamel

http://www.w3.org/2001/XMLSchema#string

Proefschrift Universiteit van Amsterdam

http://www.w3.org/2001/XMLSchema#string

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

ILLC dissertation series

isbn

9074795250

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

5cfc8f08c82b1755ef9199ef2a7b1b0d

name

Verification techniques for elementary data types and retransmission protocols

http://www.w3.org/2001/XMLSchema#string

numberOfPages

152

http://www.w3.org/2001/XMLSchema#integer

publication

fb3a4db1506dffa99aa061b22cc13e55

sameAs

type

label

Verification techniques for el ...... s / Jacobus Johannes van Wamel

http://www.w3.org/2001/XMLSchema#string