书籍简介:

本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。

书籍规格:

书籍详细信息
书名	Z规约切片的研究站内查询相似图书
	9787312013546 《Z规约切片的研究》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	合肥	出版单位	中国科学技术大学出版社
版次	1版	印次	1
定价(元)	30.0	语种	简体中文
尺寸	26	装帧	平装
页数		印数	2500

Z规约切片的研究是中国科学技术大学出版社于2006.12出版的中图分类号为 TP301.6 的主题关于电子计算机－算法理论的书籍。