Model Checking Software: 23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings: 2016 by Springer International Publishing AG (Paperback, 2016)


OUR TOP PICK

$80.64

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