Fortell venner om denne varen:
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings - Lecture Notes in Computer Science Georges Gonthier 2013 edition
Pris
NOK 509
Bestillingsvarer
Forventes levert 25. nov - 3. des
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Georges Gonthier
Legg til iMusic ønskeliste
eller
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings - Lecture Notes in Computer Science
Georges Gonthier
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.
321 pages, 44 black & white illustrations, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 18. november 2013 |
| ISBN13 | 9783319035444 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 309 |
| Mål | 155 × 235 × 17 mm · 453 g |
| Språk | Fransk |
| Redaktør | Gonthier, Georges |
| Redaktør | Norrish, Michael |
![Cover for Marco Ferrante · An excursion into Markov chains - UNITEXT (Pocketbok) [1st ed. 2024 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Food and Mental Health: The Link between Diet and Neurological disorders: A Curated Literature Overview (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/091/9783031469091.jpg?2027-food-and-mental-health-the-link-between-diet-and-neurological-disorders-a-curated-literature-overview-innbunden-bok&class=scaled&v=1788186815)
![Cover for Transmission Electron Microscopy: The Companion Volume (Pocketbok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-pocketbok&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Innbunden bok) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-innbunden-bok&class=scaled&v=1594018037)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2027-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-innbunden-bok&class=scaled&v=1774494645)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2027-strength-of-materials-volume-i-concepts-problems-solutions-innbunden-bok&class=scaled&v=1778114493)
![Cover for Ram S. Jakhu · Sustainable Development in South Asia: The Role of Space Technologies, Laws and Policies - Space and Society (Innbunden bok) [2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2027-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-innbunden-bok&class=scaled&v=1788186816)
![Cover for Deprived Caste Across Major Religions in India: Demography and Socio-Economic Wellbeing (Innbunden bok) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783031765025.jpg?2027-deprived-caste-across-major-religions-in-india-demography-and-socio-economic-wellbeing-innbunden-bok&class=scaled&v=1790617067)