BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Automated Technology for Verification and Analysis:
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

by Susanne Graf, Wenhui Zhang

ISBN 3540472371 / 9783540472377 / 3-540-47237-1
Publisher Springer-Verlag New York Inc
Country Germany
Language English
Edition Softcover
List price $95.00
Find All Copies

 


› Find collectible copies of 'Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings'