Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化 /森北出版/萩原学の買取価格

標準販売価格:3,200
メーカー:森北出版  発売日:2018年04月13日  製品コード:9784627062412
買取価格 ポイント ショップ情報
479
(2021/04/12時点)
最大  40  ポイント
4.24 (1774件)
◆ご自宅から本を段ボールに梱包して送るだけ。◆楽天ポイント・キャッシュでのお支払いも対応可。いつでもポイント10倍!!
買い取り可能ジャンル : ゲーム 漫画・コミック 小説・エッセイ・新書 専門書・参考書 CD DVD・ブルーレイ
ポイント10倍

この製品の詳細

メーカー名:森北出版

書名カナ コック エスエスリフレクト マスコンプ ニ ヨル テイリ ショウメイ フリーソフト デ ハジメル スウガク ノ ケイシキカ
著者名 萩原学、アフェルト・レナルド
著者名カナ ハギワラ,マナブ、レナルド,アフェルト
発行者 森北出版
発行者カナ モリキタシユツパン
ページ数 224p
サイズ 22
免責について(注意事項)
本画面に記載された価格は申込み時点での参考買取価格です。
買取価格は、到着(査定)時の価格が適用されます。
商品によっては日々価格が変動しますので、買取商品はお早めにショップへお送りいただきますようお願い致します。
本画面で商品名の下に製品コード(8桁または13桁の数字)の記載がある商品については、お手元の商品と一致しているかどうかをご確認のうえ、お申込みください。不一致の場合は買取価格がページ記載の価格と異なったり、買取不可となりお客様のご負担で返送される場合がございます。