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

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

当前版本有售  · · · · · ·

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

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

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?  · · · · · ·

祝拙知
祝拙知
2024年12月7日 想读


islegnaf
islegnaf
2024年11月10日 想读


Apollo
Apollo
2024年10月4日 想读


混合果蔬干
混合果蔬干
2024年3月2日 想读


> 4人在读

> 9人读过

> 79人想读

二手市场  · · · · · ·

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