5
1
![Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
![Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.8.5)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
eBook(1st ed. 2020)
$41.49
$54.99
Save 25%
Current price is $41.49, Original price is $54.99. You Save 25%.
Related collections and offers
41.49
In Stock
Product Details
ISBN-13: | 9783030591526 |
---|---|
Publisher: | Springer-Verlag New York, LLC |
Publication date: | 10/12/2020 |
Series: | Lecture Notes in Computer Science , #12302 |
Sold by: | Barnes & Noble |
Format: | eBook |
File size: | 63 MB |
Note: | This product may take a few minutes to download. |
From the B&N Reads Blog