Coq/SSReflect/MathCompによる定理証明フリーソフトではじめる数学の形式化

0件

追加するに追加する

中古新品

定価 ¥3,520

2,475円定価より1,045円（29%）おトク

獲得ポイント22P

残り1点ご注文はお早めに

発送時期 1～5日以内に発送

商品詳細

値下げのお知らせメールを受け取る価格を設定してください

円以下

値下げのお知らせ登録を解除します

Coq/SSReflect/MathCompによる定理証明

商品が入荷した店舗：0店

店頭で購入可能な商品の入荷情報となります

ご来店の際には売り切れの場合もございます

お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません

カートに追加できませんでした

Coq/SSReflect/MathCompによる定理証明

¥2,475

残り1点
ご注文はお早めに

0件のお客様レビュー