Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)

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"