Mechanical verification of concurrency control and recovery protocols
D.A. Chkliaev
Mechanical verification of concurrency control and recovery protocols
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789038609218
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01D.A. Chkliaev
Herkomst
Werk-id (NSTC)501229966
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501229966 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026