交互式定理证明与程序开发

作者: YvesBertot / PierreCasteran
出版社: 清华大学出版社
译者: 顾明
出版年: 2010-1
页数: 432
定价: 59.00元
丛书: 国外经典教材·计算机科学与技术
ISBN: 9787302208136

在哪儿借这本书  · · · · · ·

这本书的其他版本  · · · · · ·  ( 全部2 )

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

jooey
jooey
8月6日 想读


VitalyR
VitalyR
7月24日 想读

tags:交互式定理证明

隐德来希
隐德来希
7月9日 读过

tags:Coq

xd
xd
5月13日 想读


> 2人在读

> 10人读过

> 58人想读

二手市场

订阅关于交互式定理证明与程序开发的评论:
feed: rss 2.0