Springer
Certified Programs and Proofs (English, Jean-Pierre Jouannaud | Zhong Shao)
₹5,583
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783642253782 |
| ISBN-10 | 3642253784 |
| Author | Jean-Pierre Jouannaud | Zhong Shao |
Product Description
Here on GlowMirror, you'll find Certified Programs and Proofs filed under Springer -- everything you need to know is covered below.
About the Book
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. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware ce…
ISBN: 9783642253782
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Certified Programs and Proofs
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy
Frequently Asked Questions
What is the price of Certified Programs and Proofs?
Certified Programs and Proofs is available at ₹5,583 on GlowMirror.
Does GlowMirror offer free delivery for Certified Programs and Proofs?
GlowMirror offers free delivery on orders above ₹499. For Certified Programs and Proofs priced at ₹5,583, you qualify for free shipping.
Is Cash on Delivery available for Certified Programs and Proofs?
Yes, Cash on Delivery (COD) is available for Certified Programs and Proofs on GlowMirror across India. Pay conveniently when your order arrives.
What is the return policy for Certified Programs and Proofs?
GlowMirror offers a 15-day hassle-free return policy for Certified Programs and Proofs. Returns are free of charge. Contact us at info@glowmirror.in or call +91 99446 78357 to initiate a return.
Is Certified Programs and Proofs available in English?
Certified Programs and Proofs is available in English on GlowMirror.
Who is the author of Certified Programs and Proofs?
Certified Programs and Proofs is authored by Jean-Pierre Jouannaud | Zhong Shao.
Who published Certified Programs and Proofs?
Certified Programs and Proofs is published by Springer.
How many pages does Certified Programs and Proofs have?
Page count information for Certified Programs and Proofs is available in the specifications section of this page.
How long does it take to read Certified Programs and Proofs?
At an average reading speed of 250 words per minute, reading Certified Programs and Proofs takes a few hours to a few days depending on reading pace.
What is Certified Programs and Proofs about?
About the Book
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...
Is Certified Programs and Proofs suitable for beginners?
Whether Certified Programs and Proofs is suitable for beginners depends on your background in Springer. Review the product description and specifications above for details on the target audience and difficulty level.
What edition is Certified Programs and Proofs?
Certified Programs and Proofs is from the Springer edition/year. Check the specifications section for full edition details.
How do I order Certified Programs and Proofs on GlowMirror?
To order Certified Programs and Proofs on GlowMirror, click the "Add to Cart" button on this page, proceed to checkout, and choose your preferred payment method — online payment or Cash on Delivery. Delivery takes 2–7 business days across India.
Is Certified Programs and Proofs a new or used book?
Certified Programs and Proofs listed on GlowMirror is a brand new book in good condition.
Can I get Certified Programs and Proofs delivered across India?
Yes, GlowMirror delivers Certified Programs and Proofs across India. Use the pincode checker on this page to verify delivery availability to your location.
