A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
Read More
A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
Read Less
Add this copy of Automated Technology for Verification and Analysis: 8th to cart. £49.34, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.
Add this copy of Automated Technology for Verification and Analysis: 8th to cart. £77.10, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2010 by Springer.
