Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science - Chris Hawblitzel - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642353079 - 2012年11月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Chris Hawblitzel
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

価格
¥ 10.512
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月3日 - 年9月21日
Chris Hawblitzel の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

315 pages, 64 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年11月1日
ISBN13 9783642353079
出版社 Springer-Verlag Berlin and Heidelberg Gm
ジャンル Aspects (Academic) > Science / Technology Aspects
ページ数 305
寸法 155 × 235 × 16 mm   ·   444 g
言語 ドイツ語  
編集者 Hawblitzel, Chris
編集者 Miller, Dale

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

Chris Hawblitzelのすべてを見る ( 例： Paperback Book )