Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedin by Georges GonthierCertified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedin by Georges Gonthier

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia…

EditorGeorges Gonthier, Michael Norrish

Paperback | November 18, 2013

Pricing and Purchase Info

$110.13 online 
$116.95 list price save 5%
Earn 551 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia…Format:PaperbackDimensions:321 pages, 9.25 × 6.1 × 0.01 inPublished:November 18, 2013Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319035444

ISBN - 13:9783319035444

Look for similar items by category:

Reviews