Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725)

Author: Fabio Somenzi, Warren A. Hunt, Jr. Hunt
List Price: $75.00
Our Price: Click to see the latest and low price
ISBN: 3540405240
Publisher: Springer Verlag (August, 2003)
Edition: Paperback

Buy now directly from Amazon.com - Purchase this book, safely and securely from the largest book dealer on the Internet, Amazon.com


Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog