Books listed by ISBN
>
Forgotten Books
> B. D. Lubachevsky
B. D. Lubachevsky
B.-D
ยท
B. L.
title
ISBN-13
(ISBN-10)
year of publication
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1
978-O-266-9OO92-4
(O-266-9OO92-5)
2018
B. D. McCullough