Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding, (Paperback)

Name: Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding, (Paperback)
Brand: Jean-Pierre Jouannaud
SKU: prod_46e28dea38ed2a755ae46c7e
Price: 118.00 USD
Availability: InStock

Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding, (Paperback) Author: Springer ISBN: 9783642253782 Format: Paperback Publication Date: 2011-11-18 Page Count: 401

Shipping & Returns

Price unavailable

Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding, (Paperback)—

$118.00

Price unavailable

Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding, (Paperback)—

$118.00