交互式定理证明与程序开发：Coq归纳构造演算的艺术(国外经典教材·计算机科学与技术)

作者： （德）伯托特，（德）卡斯特兰著，顾明等译 出 版 社： 清华大学出版社 出版时间： 2010-1-1字数： 690000版次： 1页数： 432印刷时间： 2010-1-1开本： 大16开印次

基本信息·出版社：清华大学出版社 ·页码：432 页 ·出版日期：2010年01月 ·ISBN：9787302208136 ·条形码：9787302208136 ·版本：第1版 ·装帧：平装 ·开本

基本信息·出版社：清华大学出版社 ·页码：815 页 ·出版日期：2008年 ·ISBN：7302176337/9787302176336 ·条形码：9787302176336 ·包装版本：3版 ·

作者： （德）斯蒂格（Steger,C.），（德）尤里奇（Ulrich,M.）（德）威德曼（Wiedemann,C.）著；杨少荣等译 出 版 社： 清华大学出版社 出版时间： 2008-11-1字数：

作者： （美）萨维奇，施平安，李牧译 出 版 社： 清华大学出版社 出版时间： 2008-7-1字数： 1238000版次： 3页数： 815印刷时间： 2008/07/01开本： 16开印次： 1纸

作者： （美）安吉尔著，段菲译 出 版 社： 清华大学出版社 出版时间： 2008-3-1字数： 335000版次： 1页数： 258印刷时间： 2008/03/01开本： 16开印次： 1纸张： 胶

基本信息·出版社：清华大学出版社 ·页码：258 页 ·出版日期：2008年 ·ISBN：9787302171027 ·条形码：9787302171027 ·包装版本：3版 ·装帧：平装 ·开本：1

基本信息·出版社：清华大学出版社 ·页码：381 页 ·出版日期：2009年 ·ISBN：7302189145/9787302189145 ·条形码：9787302189145 ·包装版本：1版 ·

作者： （美）斯多（Stahl，T.），（美）沃尔特（Volter，M.）等著，杨华，高猛译 出 版 社： 清华大学出版社 出版时间： 2009-1-1字数： 602000版次： 1页数： 381印刷

作者： （美）布拉德利，（美）米尔斯泼著，杨继萍，马海军等译 出 版 社： 清华大学出版社 出版时间： 2010-6-1字数： 846000版次： 1页数： 524印刷时间： 2010-6-1开本：