Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback)

Name: Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback)
Brand: Georges Gonthier
SKU: prod_cc02bcfa42185b26bcf9a07a
Price: 118.00 USD
Availability: InStock

Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback) Author: Springer ISBN: 9783319035444 Format: Paperback Publication Date: 2013-11-18 Page Count: 309

Shipping & Returns

Price unavailable

Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback)—

$118.00

Price unavailable

Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback)—

$118.00