An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)

by B. D. Lubachevsky Hardcover details (UK). details (Italy). (see also: Copertina rigida) details (Spain - España). (see also: Tapa dura) ISBN: 978-0-266-90092-4 ISBN-10: 0-266-90092-5 Forgotten Books · 2018