商品の詳細
Interactive Theorem Proving and Program Development 参考書ハードカバー版です。ペーパーバックと違って重厚感があっていいですね。本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。書き込みや目立つ汚れなしAmazonでの参考価格は16490円ご検討よろしくお願いします。
カテゴリー: | 本・音楽・ゲーム>>>本>>>参考書 |
---|---|
商品の状態: | 目立った傷や汚れなし |
配送料の負担: | 送料込み(出品者負担) |
配送の方法: | 佐川急便/日本郵便 |
発送元の地域: | 石川県 |
発送までの日数: | 1~2日で発送 |
商品の説明
最新のクチコミ
通っている幼児教室で推薦本として、紹介された一冊だったので買いました。
- kazz17172511
- 36歳
- アトピー
- クチコミ投稿 1件
購入品
子供は、何を書いているか、わからないくらい下手で、先生も困らせていました。 こちらを購入し、毎日やらせましたら、もともと、ゆっくり書けばマシな字が書けるようで、なかきれいにかいてました。 誉めていたら、それから意識が変わったようで、テストでもしっかり読める字に。 購入し良かったです。
- ゆかりん252539
- 24歳
- アトピー
- クチコミ投稿 1件
購入品
参考書
-
-
1
パイステ602 PAISTE FORMULA602
打楽器
¥14,250
-
2
映像研には手を出すな サイン入りポスター
アイドル
¥62,400
-
3
ビリヤードキュー(中古/中国製)
ビリヤード
¥6,840
-
4
S.T. Dupont デュポン ライター
その他
¥10,032
-