← Catalogus

D.A. Chkliaev

1 titel in de boekenbase · Auteur
Informatica algemeen
Over D.A. Chkliaev
D.A. Chkliaev staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder informatica algemeen.
Mechanical verification of concurrency control and recovery protocols
D.A. Chkliaev
Mechanical verification of concurrency control and recovery protocols
D.A. Chkliaev
Paperback