Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings Jean-Pierre Jouannaud

ISBN: 9783642253782

Published: November 18th 2011

Paperback

401 pages


Description

Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings  by  Jean-Pierre Jouannaud

Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings by Jean-Pierre Jouannaud
November 18th 2011 | Paperback | PDF, EPUB, FB2, DjVu, talking book, mp3, ZIP | 401 pages | ISBN: 9783642253782 | 7.56 Mb

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 wereMoreThis 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.



Enter answer





Related Archive Books



Related Books


Comments

Comments for "Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings":


goldenshellsaudi.com

©2011-2015 | DMCA | Contact us