Fortell venner om denne varen:
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
Pris
A$ 85,49
Bestillingsvarer
Forventes levert 15. - 23. okt
Legg til iMusic ønskeliste
eller
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.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 18. november 2011 |
| ISBN13 | 9783642253782 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 401 |
| Mål | 155 × 235 × 21 mm · 585 g |
| Språk | Fransk |
| Redaktør | Jouannaud, Jean-Pierre |
| Redaktør | Shao, Zhong |
