Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2001)


OUR TOP PICK

$121.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