You might also like

More about Certified Programs and Proofs

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

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 certification, miscellaneous, and proof perls.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

• Full title: Certified Programs and Proofs
• Subtitle: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
• Author: Jean-Pierre Jouannaud, Zhong Shao
• Language: English
• Binding: Paperback
• Number of pages: 401
• EAN: 9783642253782
• ISBN: 3642253784
• ID: 01659274
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 633 g
• Dimensions: 235 × 155 × 23 mm
• Date of publishing: 18. November 2011

Trending among others

---

---

---