Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings - Paperback

Original price $99.64 - Original price $99.64
Original price
$99.64
$99.64 - $99.64
Current price $99.64
Availability: In Stock
SKU 9783642161636