5
1
![Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings](http://vs-images.bn-web.com/static/redesign/srcs/images/grey-box.png?v11.9.2)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
574![Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings](http://vs-images.bn-web.com/static/redesign/srcs/images/grey-box.png?v11.9.2)
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
574Paperback(1st ed. 2020)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9783030591519 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 10/12/2020 |
Series: | Lecture Notes in Computer Science , #12302 |
Edition description: | 1st ed. 2020 |
Pages: | 574 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |
From the B&N Reads Blog