Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach by Robert P. Kurshan (Hardback, 2017)


OUR TOP PICK

$305.95

+ $29.00 postage
Quantity
1 available
Condition
Like new
Sold by
ausreseller (111711)97.6% Positive Feedback
Delivery
Est. 2 May - 11 MayFrom Australia
Returns
No returns, but backed by eBay Money Back Guarantee