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

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

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

在庫あり

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

税込価格: ¥3,520

利用できる決済方法

VISA Mastercard JCB American Express Diners Club atone翌月後払い 代金引換 d払い
Amazon Pay 楽天ペイ

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

  • Line

作品情報

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

224ページ

出版社からの紹介

続きを読む

出版社おすすめ

  • 星の子ども
    星の子ども
    出版社:冨山房 冨山房の特集ページがあります!
    グリム童話「星の銀貨」の世界をバーナデット・ワッツが描きだす。色彩豊かな美しい絵が名作童話の魅力をひ



【連載】絵本ナビ編集長イソザキの「あたらしい絵本大賞」ナビゲート



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

閉じる

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

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