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
Leveraging Applications of Formal Methods Verification and Validation Discussion Dissemination Applications 7th International Symposium ISoLA 2016 Imperial Corfu Greece October 10 14 2016 Proceedings Part II 1st Edition by Tiziana Margaria, Bernhard Steffen ISBN 3319471686 978-3319471686
Username or email address *
Password *
Remember me Log in
Lost your password?
