Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Lecture Notes in Computer Science - Marko Van Eekelen - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642228629 - 2011年8月2日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Marko Van Eekelen
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Lecture Notes in Computer Science

価格
¥ 10.399
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月27日 - 年11月12日
Marko Van Eekelen の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.

383 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年8月2日
ISBN13 9783642228629
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 383
寸法 155 × 235 × 23 mm   ·   612 g
言語 フランス語  
編集者 Geuvers, Herman
編集者 Schmaltz, Julien
編集者 Van Eekelen, Marko
編集者 Wiedijk, Freek

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

Marko Van Eekelenのすべてを見る