商品の詳細
Interactive Theorem Proving and Program Development 参考書ハードカバー版です。ペーパーバックと違って重厚感があっていいですね。本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。書き込みや目立つ汚れなしAmazonでの参考価格は16490円ご検討よろしくお願いします。
| カテゴリー: | 本・音楽・ゲーム>>>本>>>参考書 |
|---|---|
| 商品の状態: | 目立った傷や汚れなし |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 石川県 |
| 発送までの日数: | 1~2日で発送 |
商品の説明
Interactive Theorem Proving and Program Development: Coq'Art: The
Interactive Theorem Proving and Program Development: Coq'Art: The
Automatic Paragon Theorema Germany– Tufina Official
Full Skeleton GM-118-1 | Silver | Made in Germany Venezia
Automatic calendar Paragon GM-122-5 Theorema, Germany – Theorema
最新のクチコミ
今朝、届いてすぐに4才次男に手渡すとご飯そっちのけで、やり始めました。 まだ、カナがあまり分かっていないのですが、興味は持ってるようなので購入。最初は適当に書き始めてましたが、 「書き順違うよ。1はどこからになってる？」というと本を見てわかったらしく気をつけて書いてました。 ポケモンの名前と特徴が簡単ではありますが書いてあるので、ポケモン図鑑としても楽しめそうです。
- ひよぽりん
- 32歳
- アトピー
- クチコミ投稿 1件
購入品
ホワイトボード用のペンを使えば、何度でも練習出来るのは良いですね。 新入学に向けてひらがなは全て書ける様になって欲しいと思い、購入しました。 他にもひらがな練習が出来る商品は沢山ありますが、大好きなポケモンはやっぱり一番意欲的に取り組んでくれますね。 元々勉強嫌いではなく、よくドリル等をやっていますが、まだあまり勉強に興味の無いお子様にもオススメ出来る商品です。
- あじたー
- 40歳
- アトピー
- クチコミ投稿 1件
購入品
ひらがな覚えたての3歳の娘に購入。クレヨンで書いたり消したりできるのがいいですね。しっかりしたつくりだし、カタカナも載っているので、長く使えるかな？
- aska1000
- 28歳
- アトピー
- クチコミ投稿 1件
購入品
