Signup for our newsletter to get notified about sales and new products. Add any text here or remove it.
No products in the cart.
Return to shop
Showing the single result
Computers
Model Checking Software 23rd International Symposium SPIN 2016 Co located with ETAPS 2016 Eindhoven The Netherlands April 7 8 2016 Proceedings 1st Edition Dragan Bošnački
Username or email address *
Password *
Remember me Log in
Lost your password?