オークション落札商品中古

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

この商品の詳細を見る

『【裁断済み】Coq/SSReflect/MathCompによる定理証明』はセカイモンで864a06cfから出品され、412の入札を集めて12月14日 16時 52分に、1700円で落札されました。即決価格は1700円でした。決済方法はに対応。鹿児島県からの発送料は落札者が負担しました。ＰＲオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。

この商品をお気に入りに登録
同じ商品を出品する

《出品：2021-07-22》

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

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

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

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

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

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

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

・まとめ買い

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

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

※Amazon.co.jpより引用

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