An assertional proof system for multithreaded Java
E. A'braha'm
An assertional proof system for multithreaded Java theory and tool support
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789090189086
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01E. A'braha'm
Herkomst
Werk-id (NSTC)501085534
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501085534 · CB-relatie 9048850 · Bijgewerkt 6 augustus 2026