Deductive Techniques for Model-Based Concurrency Verification
Wytse Oortwijn
Deductive Techniques for Model-Based Concurrency Verification
PaperbackEngels
In het kort
ISBN-13
9789036548984
Uitgever
Verschenen
12 december 2019
Bibliografisch
ISBN-139789036548984
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverUniversiteit Twente Bibliotheek
CB-relatie-id8186142
Verschenen12 december 2019
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Wytse Oortwijn
Herkomst
Werk-id (NSTC)500314899
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500314899 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026