商品の詳細
裁断業者にて裁断済みです。以下、アマゾンからの引用です。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
Automated Theorem Proving: Theory and Practice | SpringerLink
Learning Proof Transformations and Its Applications in Interactive
Interactive Theorem Proving, Lecture 2 - Coq and the Curry-Howard correspondence, by Elias Castegren
4: The interactive theorem proving process. | Download Scientific
最新のクチコミ
息子が好きで読んでいる本を友達の子供ちゃんにも送りました。素敵な本なのでとても喜んでもらえました。
- alphafox
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
トムとジェリーが大好きな息子へのプレゼント。穴があいている（しかけ絵本）ので、まるで自分がトム、ジェリーになっている気持ちになって読んでいます。テレビアニメもいいですが、絵本のトムとジェリーも可愛いです。
- タコろーs
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
洋書
-
-
2
AKG Y500 ピンク
ヘッドフォン
￥6,800
