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 all 3 results
Others
Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings 1st edition by Shuvendu 3030010902 9783030010904
Computers
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II 1st Edition by Shuvendu K Lahiri, Chao Wang ISBN 9783030532901 3030532909
Username or email address *
Password *
Remember me Log in
Lost your password?
