添加到百度搜藏

Z形式规约切片的研究(江西财经大学博士论文文库)

Z形式规约切片的研究(江西财经大学博士论文文库)
实际尺寸图片
还能经以下方式购买,或许更便宜

卓越网一律免运费【购买】
当当网全场运费一律2元【购买】
蔚蓝网专业图书我最全【购买】

浏览该图书的还浏览了


图书介绍至顶端

关于Z形式规约切片的研究(江西财经大学博士论文文库) 的简介:

本书充分利用已有的程序切片和依赖性分析技术,结合国内外在形式规约切片及其应用方面的最新研究动态,在Z形式规约切片及其应用方面展开研究工作。
本书共八章,分成四大部分:第一部分为第1章,是全书的一个概述;第二部分包括第2~5章,主要研究了Z形式规约切片技术;第三部分包括第6~7章,主要研究了Z形式规约切片的应用;第四部分为第8章,是对全书的结论。
本书研究的目的是通过对形式规约切片原理的研究,一定程度上解决形式规约切片及其在提升和度量应用等方面存在的问题,提出基于依赖性分析的Z形式规约切片和基于关系演算的Z形式规约切片,并在此基础上把Z形式规约切片应用到提升、定理证明和度量上。

编辑推荐:

未知

商家介绍至顶端

图书目录至顶端

图书目录:



前言
第1章导论
1.1Z形式规约切片的研究依据
1.1.1研究背景
1.1.2研究意义
……
[看更多目录]

作者简介至顶端

暂无"吴方君"的作者简介

相关分类至顶端

免责声明:我要购书网所推荐的图书,是我们在众多购书网站精选的网民信得过的购书网站中所挑选的图书,图书价格仅供参考,实际售价及是否有库存以各网站实际标示为准;若售价差别过大,可能因不同规格或者版本引起,请自行甄别!