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.

Computer Aided Verification:
15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings

by Fabio Somenzi, Warren A. Hunt

ISBN 3540405240 / 9783540405245 / 3-540-40524-0
Publisher Springer Verlag
Country Germany
Language English
Edition Softcover
List price $75.00
Find All Copies

 


› Find collectible copies of 'Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings'