Interactive Theorem Proving and Program Development

作者: Yves Bertot / Pierre Castéran / Pierre CastTran
出版社: Springer
出版年: 2004-06-24
页数: 497
定价: USD 79.95
装帧: Hardcover
ISBN: 9783540208549

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载

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

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

谁读这本书?

CyberZHG
CyberZHG
9月27日 想读


纯粹的向往
纯粹的向往
8月15日 想读

classical book!!!

cz717
cz717
5月31日 读过

tags:Coq CS Springer

> 5人在读

> 3人读过

> 12人想读

二手市场

订阅关于Interactive Theorem Proving and Program Development的评论:
feed: rss 2.0