Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

by Gerhard Goos

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Li ge, Belgium in July 1995. The book contains the 31 refereed full... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540600450
• ISBN13: 9783540600459
• Release Date: June 1995
• Publisher: Springer
• Length: 456 Pages
• Weight: 1.43 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"