Algopix Logo
Low Inventory

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Programming and Software Engineering Book 12302)

Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Attributes

Release Date
Oct 12, 2020
Authors
Dang Van Hung, Oleg Sokolsky
Contributors
[object Object], [object Object]
Edition
1st ed. 2020
Formats
Kindle eBook
Label
Springer
Content Languages
[object Object]
Number Of Pages
960
Publication Date
2020-10-12
Publisher
Springer
Studio
Springer
Lang
en-US

Product Identifiers

AIDAlgopix unique identifier
AIDUFUA66001
Copied!

Similar Items

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.