Skip to main content

Save £10 through Sunday. Get the code »

alibris logo

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

by ,

Write The First Customer Review
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings - Bouajjani, Ahmed (Editor), and Chin, Wei-Ngan (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
+ Add to Wishlist
Browse related Subjects
+ Browse All Subjects

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.

loading
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings 2010, Springer, Berlin, Heidelberg

ISBN-13: 9783642156427

Trade paperback

Books by Ahmed Bouajjani

Related Books

Customer Reviews

Write a Review