Certified Programs and Proofs

Name: Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Brand: Springer
SKU: 9783642253782
Price: 5583.00 INR
Availability: InStock

First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

by Jean-Pierre Jouannaud, Zhong Shao

Springer

₹5,583

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions.

Description supplied by the publisher.