HOME

【裁断済み】Coq/SSReflect/MathCompによる定理証明

商品説明・詳細
送料・お届け

商品情報

《出品：2021-07-22》

＊注意＊
・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません
・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします（詳細はプロフィールに記載）
・プロフィールの記載を必ずご確認ください

上記をご了承のうえ、ご購入ください。

【商品の状態・備考】
・ジャケットと帯に軽微な傷あり
・地に軽微な傷あり
・そのほか目立った傷や汚れなし

【配送・発送について】
ゆうゆうメルカリ便、もしくはらくらくメルカリ便で発送いたします。

【梱包について】
クリーニング後、以下の順に梱包いたします。
1.OPP袋・ビニール袋
2.緩衝材
3.封筒・ダンボール

【商品の保管について】
ペットはおらず、喫煙もいたしません。
保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。

【お取り置き／専用ページについて】
商品の取り置きは一切いたしません。しかし次に該当する場合は、専用ページを作成いたします。

・まとめ買い

（注意）専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。

【商品説明】
「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。

※Amazon.co.jpより引用

#裁断済み
#数学
#コンピュータ
#IT
#プログラミング
#プログラマ
#エンジニア

商品の情報

カテゴリー:	本・雑誌・漫画>>>本>>>語学・辞書・学習参考書
商品の状態:	やや傷や汚れあり

残り 1 点 1700円

（17 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 2024.12.28〜指定可お届け日: (明日12:00のご注文まで)

ラッピング

必須プレゼント用ギフトラッピング

希望しない

希望する ( +600円 )

希望しない

数量

同時に5点までのご購入が可能です。

お気に入りに保存

対応決済方法

クレジットカード
コンビニ前払い決済
代金引換: 商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥299,000 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング): 以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行、三菱ＵＦＪ銀行、三井住友銀行
りそな銀行、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)