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

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

著: 萩原 学 アフェルト・レナルド
出版社: 森北出版

在庫あり

原則月曜から土曜は朝8時までの注文で当日発送
※お届け日は翌日以降(詳しくはコチラ

税込価格: ¥3,520

  • 利用できる決済方法
  • クレジットカード

  • 代金引換

  • atone翌月後払い

  • Amazon Pay

  • d払い

※「d払い」はスマートフォンからのみご利用いただけます。

  • Line

作品情報

発行日: 2018年04月18日
ISBN: 9784627062412

224ページ

出版社からの紹介

続きを読む

関連記事

出版社おすすめ




児童書出版社さん、周年おめでとう! 記念連載



全ページためしよみ
年齢別絵本セット

閉じる

入荷リクエスト
ありがとうございます

入荷のお知らせが欲しい方はこちら