Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings

by Nicolas Halbwachs

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540662022
• ISBN13: 9783540662020
• Release Date: June 1999
• Publisher: Springer
• Length: 506 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"