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

フリーソフトではじめる数学の形式化


【著者名　】萩原学/アフェルト・レナルド

【シリーズ】

【出版社　】森北出版


【発行年度】2018年　 【冊数】1　 【頁数】211　 【判型・装丁】A5ペーパー

【現品状態】
カバー少擦れ有、少汚れ有、本文概ね良好。

【ISBN】4627062419

¥ 2,500 税込

数量