Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

By Ed Brinksma

This volume contains the proceedings of the conference on Computer Aided V- i'cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540439978
• ISBN13: 9783540439974
• Release Date: July 2002
• Publisher: Springer
• Length: 362 Pages
• Weight: 2.01 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"