Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 1996. Proceedings

by R. Alur

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540614745
• ISBN13: 9783540614746
• Release Date: January 1996
• Publisher: Springer
• Length: 479 Pages
• Weight: 1.50 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"