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 - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642253782 - 2011年11月18日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 8.560
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月5日 - 年10月15日
Jean-pierre Jouannaud の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年11月18日
ISBN13 9783642253782
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 401
寸法 155 × 235 × 21 mm   ·   585 g
言語 フランス語  
編集者 Jouannaud, Jean-Pierre
編集者 Shao, Zhong

Jean-pierre Jouannaudの他の作品を見る

すべて表示

同じ出版社からのその他の記事

Jean-pierre Jouannaudのすべてを見る