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 )

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

谁读这本书?

xd
xd
5月13日 想读


Holmes
Holmes
5月13日 想读

tags:math

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

tags:Programming

中小型文化叙事
中小型文化叙事
5月12日 在读


> 6人在读

> 5人读过

> 19人想读

二手市场

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