Verification of Sequential and Concurrent Programs by Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt (Paperback, 2012)


OUR TOP PICK

$114.00

Free postage
quantity
2 available
condition
Brand new
sold by
delivery
Est. 3 Jan - 13 JanFrom United Kingdom
Returns
30 days money back
Buyer pays return postage