Analysing industrial protocols with formal methods
J.M.T. Romijn
Analysing industrial protocols with formal methods
Paperback210 pagina’sEngels
In het kort
Bibliografisch
ISBN-139789090130866
Editie1
TaalEngels eng
Pagina’s210
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01J.M.T. Romijn
Herkomst
Werk-id (NSTC)501084614
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501084614 · CB-relatie 8342764 · Bijgewerkt 6 augustus 2026