Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien by Armin BiereComputer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien by Armin Biere

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna…

EditorArmin Biere, Roderick Bloem

Paperback | August 4, 2014

Pricing and Purchase Info

$166.77 online 
$201.50 list price save 17%
Earn 834 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna…Format:PaperbackDimensions:900 pagesPublished:August 4, 2014Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319088661

ISBN - 13:9783319088662

Look for similar items by category:

Reviews