Z规约切片的研究

Z规约切片的研究

吴方君, 著

出版社:中国科学技术大学出版社

年代:2006

定价:30.0

书籍简介:

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

书籍规格:

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

书籍信息归属:

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