商品の詳細
裁断業者にて裁断済みです。以下、アマゾンからの引用です。amazon price:8338円Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)内容説明A practical introduction to the development of proofs and certified programs using Coq.An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
カテゴリー: | 本・音楽・ゲーム>>>本>>>洋書 |
---|---|
商品の状態: | 未使用に近い |
配送料の負担: | 送料込み(出品者負担) |
配送の方法: | 佐川急便/日本郵便 |
発送元の地域: | 東京都 |
発送までの日数: | 1~2日で発送 |
商品の説明

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development: Bertot, Yves

Interactive Theorem Proving and Program Development: Bertot, Yves

Interactive Theorem Proving and Program Development: Coq'Art: The

Coq'Art Home page
最新のクチコミ
洋書
-
-
4
ミッフィー おうちセット
キャラクターグッズ
¥8,550
-
5
辻村塊 唐津ぐい呑
陶芸
¥6,375