MARC状态：审校 文献类型：中文图书 浏览次数：26
- 题名/责任者:
- 交互式定理证明与程序开发:Coq归纳构造演算的艺术/Yves Bertot, Pierre Casteran著 顾明等译
- 出版发行项:
- 北京:清华大学出版社,2010
- ISBN及定价:
- 978-7-302-20813-6/CNY59.00
- 载体形态项:
- 19, 432页:图;26cm
- 统一题名:
- Interactive theorem proving and program development coq'art: the calculus of inductive constructions
- 其它题名:
- Coq归纳构造演算的艺术
- 丛编项:
- 国外经典教材.计算机科学与技术
- 个人责任者:
- 贝尔托 (Bertot, Yves) 著
- 个人责任者:
- 卡斯特拉 (Casteran, Pierre) 著
- 个人次要责任者:
- 顾明 译
- 学科主题:
- 定理证明-软件工具, Coq-教材
- 中图法分类号:
- O141-39
- 责任者附注:
- 责任者汉译姓：贝尔托；卡斯特拉
- 书目附注:
- 有书目 (第[427]-432页)
全部MARC细节信息>>