Proof-checking a data link protocol
L. Helmink
Proof-checking a data link protocol
In het kort
ISBN-13
9789039305829
Uitgever
Verschenen
1 juli 1994
Bibliografisch
ISBN-139789039305829
SerieLogic group preprint series — deel 109
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01L. Helmink
Herkomst
Werk-id (NSTC)500900656
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500900656 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026