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

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

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

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

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

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

≈非主流☆
≈非主流☆
2022年12月8日 想读


雪洁
雪洁
2022年9月21日 想读


Augustin Louis
Augustin Louis
2022年9月6日 想读


chesium
chesium
2022年9月4日 在读


> 5人在读

> 9人读过

> 73人想读

二手市场  · · · · · ·

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