Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings

ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004, held in Boston, Massachusetts, USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540223428
• ISBN13: 9783540223429
• Release Date: June 2004
• Publisher: Springer
• Length: 536 Pages
• Weight: 1.79 lbs.
• Dimensions: 1.2" x 6.3" x 9.3"