CURRENTLY SOLD OUT

Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint) by B D Lubachevsky (Paperback / softback, 2015)