Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Par by Daniel KroeningComputer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Par by Daniel Kroening

Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July…

byDaniel KroeningEditorCorina S. Päsäreanu

Paperback | July 27, 2015

Pricing and Purchase Info

$115.43 online 
$137.95 list price save 16%
Earn 577 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: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July…Format:PaperbackDimensions:677 pagesPublished:July 27, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319216899

ISBN - 13:9783319216898

Look for similar items by category:

Reviews