Compositional verification of parallel programs using epistemic logic and abstract assertional languages
M. van Hulst
Compositional verification of parallel programs using epistemic logic and abstract assertional languages
PaperbackNederlands
In het kort
ISBN-13
9789039310083
Uitgever
Verschenen
1 juli 1995
Bibliografisch
ISBN-139789039310083
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01M. van Hulst
Herkomst
Werk-id (NSTC)500818054
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500818054 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026