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 - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642253782 - 18. novembra 2011
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Jean-pierre Jouannaud
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues 2011 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 12. - 20. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Jean-pierre Jouannaud

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 18. novembra 2011
ISBN13 9783642253782
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 401
Dimenzije 155 × 235 × 21 mm   ·   585 g
Jezik Francoščina  
Urednik Jouannaud, Jean-Pierre
Urednik Shao, Zhong

Več od Jean-pierre Jouannaud

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Jean-pierre Jouannaud