商品の詳細
Interactive Theorem Proving and Program Development 参考書ハードカバー版です。ペーパーバックと違って重厚感があっていいですね。本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。書き込みや目立つ汚れなしAmazonでの参考価格は16490円ご検討よろしくお願いします。
カテゴリー: | 本・音楽・ゲーム>>>本>>>参考書 |
---|---|
商品の状態: | 目立った傷や汚れなし |
配送料の負担: | 送料込み(出品者負担) |
配送の方法: | 佐川急便/日本郵便 |
発送元の地域: | 石川県 |
発送までの日数: | 1~2日で発送 |
商品の説明
![Interactive Theorem Proving and Program Development Interactive Theorem Proving and Program Development](https://m.media-amazon.com/images/I/418Gyii6kcL._SR600,315_PIWhiteStrip,BottomLeft,0,35_PIStarRatingFOUR,BottomLeft,360,-6_SR600,315_ZA11,445,290,400,400,AmazonEmberBold,12,4,0,0,5_SCLZZZZZZZ_FMpng_BG255,255,255.jpg)
Interactive Theorem Proving and Program Development
![Interactive Theorem Proving and Program Development: Bertot, Yves Interactive Theorem Proving and Program Development: Bertot, Yves](https://images-na.ssl-images-amazon.com/images/I/512hpgy8fCL._AC_UL600_SR600,600_.jpg)
Interactive Theorem Proving and Program Development: Bertot, Yves
![Automated Theorem Proving: A Logical Basis Automated Theorem Proving: A Logical Basis](https://m.media-amazon.com/images/I/21vvzld4mdL._AC_UF1000,1000_QL80_.jpg)
Automated Theorem Proving: A Logical Basis
![Finite Mathematics & Its Applications Finite Mathematics & Its Applications](https://m.media-amazon.com/images/I/91agsKAf4bL._AC_UF1000,1000_QL80_.jpg)
Finite Mathematics & Its Applications
Logic and Interactive Theorem Proving
最新のクチコミ
子供に数の勉強と思い購入しました。まとめて、鉛筆やら塗り絵やら送料分頼みました。レビューの粗品は、小さな消しゴム一個でした。たくさん買ったのにな
- 織田信長15822314
- 36歳
- アトピー
- クチコミ投稿 1件
購入品
土曜日に注文したので火曜日あたり着かなと思っていたら日曜日の朝届きました。待ち遠しかったので嬉しかったです。子どももよろこんで開けると可愛く包装されていてさらに嬉しかったです。子どもへの優しさを感じました。 絵本も丈夫で可愛くて分かりやすくてオススメです。
- "m
- 24歳
- アトピー
- クチコミ投稿 1件
購入品
もうすぐ4歳の娘が、ひらがなをあるていど書けるようになってきたので、変なくせがつく前に、そろそろ書き順や書き方を教えた方が良いかなと思い、4マスで練習できるような本を何冊か買ってみました。この本は、数字で書き順を、矢印で書く方向を、丸型で空ける部分を示してあったり、たまごがたに書くようにと楕円の絵がうっすら書いてあったり、注意するところやきれいに書くためのポイント解説があり、最初の書き出しのマークがついていたり、おまけのぬり絵とかもあり、幼児向けに良くできていると思いました。楽天受注番号:276609-20151015-0561899235
- shyufu
- 32歳
- アトピー
- クチコミ投稿 1件
購入品
参考書
-
-
1
齋藤飛鳥 直筆サイン入り
アイドル
¥110,400
-
2
MGシャア専用ゲルググver2.0
プラモデル
¥10,260
-
4
確認用②
模型/プラモデル
¥9,120
-
この商品を見ている人におすすめ
-
-
1
R団のストライクex
ポケモンカードゲーム
¥5,950
-
2
超隕石の粉
その他
¥25,200
-