商品の詳細
裁断業者にて裁断済みです。以下、アマゾンからの引用です。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 (text only) by Y.Bertot.P
Learning Proof Transformations and Its Applications in Interactive
HISTORY OF INTERACTIVE THEOREM PROVING
Learning to Prove Theorems via Interacting with Proof Assistants
Solved Show diagrams while working through please. Use | Chegg.com
最新のクチコミ
夫婦そろってアンパンマンファンなので。大人でも楽しめます。子供が産まれる前なのに、パパは一人で楽しんで見ています。アンパンマン奥が深い！とても充実した内容です。
- ssaume
- 21歳
- アトピー
- クチコミ投稿 1件
購入品
キレイな本でした。また購入したいと思います
- digimon4
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
キレイな本でした。また購入したいと思います
- ニワトラ
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
絵本を開くと、”ごろごろ にゃーん” それだけで、幸せ気分に浸れます。 作家さんは、 家ネコが、外をのぞいてる姿に、旅をさせて あげたいと思ったのかな？ お魚型のひこうきの中はどんなだろうとか、 想像はとまりません。
- りおん7072
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
洋書
-
-
3
Sony Eマウント SEL24F14GM
レンズ(単焦点)
￥51,840
