商品の詳細
Interactive Theorem Proving and Program Development 参考書ハードカバー版です。ペーパーバックと違って重厚感があっていいですね。本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。書き込みや目立つ汚れなしAmazonでの参考価格は16490円ご検討よろしくお願いします。
| カテゴリー: | 本・音楽・ゲーム>>>本>>>参考書 |
|---|---|
| 商品の状態: | 目立った傷や汚れなし |
| 配送料の負担: | 送料込み(出品者負担) |
| 配送の方法: | 佐川急便/日本郵便 |
| 発送元の地域: | 石川県 |
| 発送までの日数: | 1~2日で発送 |
商品の説明
Interactive Theorem Proving and Program Development: Bertot, Yves
Interactive Theorem Proving and Program Development: Bertot, Yves
San Francisco Theorema - GM-116-1 |Silver| MADE IN GERMANY WATCH
St. Petersburg Theorema | Black | GM-121-9 Made in Germany Watch
Sao Paulo Theorema GM-103-11 Made in Germany – Theorema Watches
最新のクチコミ
これから使用します。 カラーで見やすいと思います。
- まろん1717
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
すみっコぐらしのドリルなので、購入してみました。とてもかわいい感じがよいですね。
- niko8606
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
間もなく5歳になる娘がとても気に入って毎日やっています。市販のドリルは高いけど一回やってしまったら終わりですし、100均のドリルもあっという間に終わらせてしまうのと違い、できるーとは理解するまで何回もアプリで解くことが出来て身になっているように感じました。周りの方にもおすすめしています。続けて2.3も購入予定です。
- Nair.Jp
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
商品も早く届きました。 子供もワーク楽しく取り組んでいます。
- mommy0624
- 41歳
- アトピー
- クチコミ投稿 1件
購入品
もうすぐ3歳のこども用に買いました。少し早いかなと思いましたが、こちらは2歳からが対象なのもあり、興味津々ではりきってお勉強してくれています。
- mmchei
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
とても良い教材だとおもいます。 アプリが想像以上に良くできています。 今回お得に買えてとても良かったです。
- ikatonton
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
6歳の娘の誕生日で購入。渡したらよろこんでました！
- （゜ε゜）
- 45歳
- アトピー
- クチコミ投稿 1件
購入品
楽しんでやりはじめましたが ワークブックよりタブレットを触りたがる為 ゲーム感覚で遊んでいます。 内容もとても良いです。基本親子一緒にすることが良いと思いますが 家事の際 タブレットを使うと目配りだけで過ごせるのが良いです。 シール貼りのコーナーやお話のページも有もるので 色々な角度からお勉強出来ていると思います。
- 大沢はっすん
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
公文のテキストは内容がこなれていて良いです。
- tad7tivrusky
- 41歳
- アトピー
- クチコミ投稿 1件
購入品
５歳の孫に買いました！楽しそうに間違いを探して○印をつけてました！集中して探し見つけた時はめっちゃ嬉しそうでした！
- bell6189
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
参考書
-
-
1
【r】高橋恭平 ちびぬい
その他
￥6,422
-
2
Sonyα7Ⅲ
デジタルカメラ
￥67,200
-
3
田原陶兵衞勅題茶碗「火」田原陶兵衞手紙付き
陶芸
￥8,500
-
