Interactive Theorem Proving and Program Development

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

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

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

谁读这本书?

Freeze4rest
Freeze4rest
7月1日 想读


xd
xd
2019年5月13日 想读


Holmes
Holmes
2019年5月13日 想读

tags:math

BladeWang可能
BladeWang可能
2019年5月12日 想读

tags:Programming

> 6人在读

> 5人读过

> 20人想读

二手市场

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