当日発送
送料無料

【国際ブランド】【美品】Interactive Theorem Proving and ... 参考書

お気に入りブランド

クチコミ評価 5.7（51件）

販売価格：: ￥6800税込
獲得ポイント：: ポイント

商品がカートに追加されました

販売価格：￥6800 税込

お買い物を続けるカートへ進む

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

※
ご注文内容・出荷状況によっては当日発送できない場合もございます。
詳しくはこちらよりご確認ください。

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

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

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