【美品】Interactive Theorem Proving and ...

【美品】Interactive Theorem Proving and ...

¥6800 税込

在庫なし

この商品は2点までのご注文とさせていただきます。

別途送料がかかります。送料を確認する

¥8000以上のご注文で国内送料が無料になります。

Interactive Theorem Proving and Program Development 参考書ハードカバー版です。ペーパーバックと違って重厚感があっていいですね。本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。書き込みや目立つ汚れなしAmazonでの参考価格は16490円ご検討よろしくお願いします。

カテゴリー:	本・音楽・ゲーム>>>本>>>参考書
商品の状態:	目立った傷や汚れなし
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	石川県
発送までの日数:	1~2日で発送

再入荷通知を希望する

種類を選択する

販売開始のお知らせを希望する

再入荷のお知らせを希望する

年齢確認

コミュニティ加入

在庫なし

再入荷通知希望

販売開始が近くなりましたら、登録したメールアドレス宛にお知らせします。

※ 販売の期間変更や、販売停止時にはメールは送信されません。
※ @thebase.inからのメール受信許可設定をお願いします。

メールアドレス

メールアドレスをご確認ください

折返しのメールが受信できるように、ドメイン指定受信で「thebase.in」と「treasure-market.jp」を許可するように設定してください。

販売開始のお知らせを受け付けました

ご記入いただいたメールアドレス宛に確認メールをお送りしておりますので、ご確認ください。
メールが届いていない場合は、迷惑メールフォルダをご確認ください。
通知受信時に、メールサーバー容量がオーバーしているなどの理由で受信できない場合がございます。ご確認ください。

折返しのメールが受信できるように、ドメイン指定受信で「thebase.in」と「treasure-market.jp」を許可するように設定してください。

再入荷されましたら、登録したメールアドレス宛にお知らせします。

メールアドレス

メールアドレスをご確認ください

折返しのメールが受信できるように、ドメイン指定受信で「thebase.in」と「treasure-market.jp」を許可するように設定してください。

再入荷のお知らせを受け付けました。

折返しのメールが受信できるように、ドメイン指定受信で「thebase.in」と「treasure-market.jp」を許可するように設定してください。

商品をアプリでお気に入り

通報する

カテゴリー

参考書
レビュー

(7)
送料・配送方法について
お支払い方法について

レビュー

すべて
82
2
0

クレジットカード

VISA mastercard AMERICAN EXPRESS JCB

あと払い（Pay ID）

あと払い（Pay ID）は、Pay IDのアカウントにて1ヶ月のご利用分を翌月にまとめてコンビニからお支払いいただける決済方法になります。お支払いにはPay IDアプリが必要です。あと払い（Pay ID）のくわしい説明はこちら
コンビニ支払い手数料 : ¥520 口座振替（自動引き落とし） : 手数料無料