- 当日発送
- 送料無料
【GINGER掲載商品】 ビジネス/経済 Interactive Theorem Proving and Program ビジネス/経済
お気に入りブランド
- 販売価格 ：
-
￥5780税込
- 獲得ポイント ：
- ポイント
当日発送可 (14:00までのご注文が対象)
- ※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。
利用可
- ※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。
商品の詳細
Interactive Theorem Proving and Program Development値下げ不可です。
| カテゴリー: | 本・音楽・ゲーム>>>本>>>ビジネス/経済 |
|---|---|
| 商品の状態: | 目立った傷や汚れなし |
| 色: | ブラック系/レッド系/ブルー系 |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 山梨県 |
| 発送までの日数: | 1~2日で発送 |
商品の説明
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development: Bertot, Yves
4: The interactive theorem proving process. | Download Scientific
Non-interactive Zero-Knowledge Functional Proofs | SpringerLink
PACELC Theorem & Distributed Databases | by Ritesh Kapoor | Medium
最新のクチコミ
子供に見せるととても喜んでめくって読んでいます。
- Aruma&Baron
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
こどもは楽しくやったりやらなかったりです。 何枚かやったあとは白いところに色を塗ると理解できましたが、指定された色ではなく好きな色で自由に塗ってます
- なう81
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
子供のクリスマスプレゼントに購入しました。
- 0214チリチェル
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
登場人物や背景のひとつひとつに、表情があり、それぞれにストーリーが感じられ、親子でいろいろ想像しながら読める楽しい本です。読むたびに、きっと親子の会話が膨らんでいくと思います。作者の子供たちへの愛情がとても伝わってきました。
- acetonitrile
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
パウパトロールが大好きな３歳・５歳男児の為に買いました。 箱を開けて商品を見た瞬間の、凄まじいテンションの上がりっぷりを見て 「買ってよかった」を実感しました。 ご褒美シールとして活躍しています。
- さっさです
- 41歳
- アトピー
- クチコミ投稿 1件
購入品
英語と日本語の両方で書かれているので、簡単な英語の教材としても使える一冊。娘は大満足でした。
- もこもこ5400
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
ビジネス/経済
-
-
3
POP VIRUS 星野源 アナログ
邦楽
￥6,970
