Conte aos seus amigos sobre este item:
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues 2011 edition
Jean-pierre Jouannaud
Item sob encomenda (no estoque do fornecedor)
O que dizem nossos clientes:
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues 2011 edition
Jean-pierre Jouannaud
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.
Marc Notes: This volume constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Taiwan, in December 2011. The papers are organized in sections, including logic and types, certificates, formalization, proof assistants, programming languages, and hardware certification.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 18 de novembro de 2011 |
| ISBN13 | 9783642253782 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 401 |
| Dimensões | 155 × 235 × 21 mm · 585 g |
| Idioma | French |
| Editor | Jouannaud, Jean-Pierre |
| Editor | Shao, Zhong |
Mais por Jean-pierre Jouannaud
Ver tudo de Jean-pierre Jouannaud ( por exemplo Paperback Book )