Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 37, 20,Used Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 37, 20,Used
Add to wishlist
Quick view
Add to compare
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA...
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November...
Sale price$64.33 Regular price$91.90
Quantity
Add to cart

Recently viewed products