第一图书网
首页
艺术
管理
医学
经济
法律
外语
建筑
港台
计算机
分类
导航
手机版
《交互式定理证明与程序开发》下载
《交互式定理证明与程序开发》PDF下载
图书名称:
交互式定理证明与程序开发
封面图片:
出版印刷时间:
2010-1
出版社:
清华大学出版社
图书作者:
(德)伯托特,(德)卡斯特兰 著,顾明 等译
文件格式:
PDF
13位ISBN:
9787302208136
10位ISBN:
7302208131
页数:
432
译者:
顾明
图书标签:
无
下载地址:
交互式定理证明与程序开发PDF格式下载
查看详细:
交互式定理证明与程序开发
250万本中文图书简介、评论、评分,PDF格式免费下载。
第一图书网
手机版
京ICP备13047387号-7