Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues - Jean-pierre Jouannaud - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642253782 - perjantai 18. marraskuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
Mex$ 1.152,80

Tilattu etävarastosta

Arvioitu toimitus ti - ke 12. - 20. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 18. marraskuuta 2011
ISBN13 9783642253782
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 401
Mitta 155 × 235 × 21 mm   ·   585 g
Kieli French  
Toimittaja Jouannaud, Jean-Pierre
Toimittaja Shao, Zhong
Näytä kaikki

Lisää tuotteita Jean-pierre Jouannaud

Katso kaikki joka sisältää Jean-pierre Jouannaud ( Esim. Paperback Book )