定理証明手習い

プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック

著者

中野 圭介

出版社

ラムダノート

読者対象

専門書

内容

電子通信

発売日

2017年10月23日

発売日の出典

openBD

価格

3,600円（税込・書誌情報提供：openBD）

ISBN

9784908686023

ページ数

240ページ

発売済み