商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 森北出版 |
| 発売年月日 | 2018/04/01 |
| JAN | 9784627062412 |
- 書籍
- 書籍
Coq/SSReflect/MathCompによる定理証明
商品が入荷した店舗：店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
Coq/SSReflect/MathCompによる定理証明
¥3,520
在庫あり
商品レビュー
0
0件のお客様レビュー
お手持ちのスマホで確認する
お手持ちのスマホでスキャン
お近くのスタッフに、表示されたスマホ画面を
みせていただければ商品をお探しいたします。
ブックオフナビをご利用いただき ありがとうございます
お近くのスタッフにこの商品詳細画面をお見せください。400万点の在庫の中から商品をお探しいたします。
※画面に表示されている価格はお取り寄せ時の価格となります。