Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.
Add Item to wish listAdd Item to wish list

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

By Rupak Majumdar (Editor), Viktor Kuncak (Editor)
Paperback
$27.49
(
$54.99
)Save 50%
By Rupak Majumdar (Editor), Viktor Kuncak (Editor)
Membership Card Icon
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Formats
In stock
This item is currently out of stock online.
Not Eligible for Free Shipping
Select a store to view item availability.
The two—volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.

The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.

The CAV conference series is dedicated to the advancement of the theory and practice of computer—aided formal analysis of ...