出版社：中国科学技术大学出版社
年代：2006
定价：30.0
本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。
| 书籍详细信息 | |||
| 书名 | Z规约切片的研究站内查询相似图书 | ||
| 9787312013546 《Z规约切片的研究》pdf扫描版电子书已有网友提供下载资源链接 | |||
| 出版地 | 合肥 | 出版单位 | 中国科学技术大学出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 30.0 | 语种 | 简体中文 |
| 尺寸 | 26 | 装帧 | 平装 |
| 页数 | 印数 | 2500 | |
Z规约切片的研究是中国科学技术大学出版社于2006.12出版的中图分类号为 TP301.6 的主题关于 电子计算机－算法理论 的书籍。
王宏生, 著
(美) 库克 (Cook,W.J.) , 著
(日) 石田保輝, (日) 宮崎修一, 著
徐勇, 张大鹏, 杨健, 著
(英) 肖-泰勒 (Shawe-Taylor,J.) , (英) 克瑞斯天尼 (Cristianini,N.) , 著
伍大清, 著
(美) 巴德尔 (Bader,D.A.) , 著
杨英杰, 著
高尚, 杨静宇, 著