インターネットデパート - 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。

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

価格： ￥3,456
カテゴリ： 単行本（ソフトカバー）
ブランド： 森北出版
Amazon.co.jpで確認
関連商品