Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 14-1

By Hana Chockler and Georg Weissenbacher

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3319961411
• ISBN13: 9783319961415
• Release Date: July 2018
• Publisher: Springer
• Length: 545 Pages
• Weight: 1.73 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"