Z形式规约切片的研究(江西财经大学博士论文文库)|报价￥13.50|图书,工业技术,自动化、计算机技术,计算技术、计算机技术,一般性问题,理论、方法,吴方君
点此购买报价￥13.50
目录：图书,工业技术,自动化、计算机技术,计算技术、计算机技术,一般性问题,理论、方法,
品牌：吴方君
基本信息
·出版社：中国科技大学
·页码：185 页码
·出版日：2006年
·ISBN：7312013546
·条码：9787312013546
·版次：1
·装帧：平装
·开本：0开 0开
·丛书名：江西财经大学博士论文文库
内容简介
本书充分利用已有的程序切片和依赖性分析技术，结合国内外在形式规约切片及其应用方面的最新研究动态，在Z形式规约切片及其应用方面展开研究工作。
本书共八章，分成四大部分：第一部分为第1章，是全书的一个概述；第二部分包括第2～5章，主要研究了Z形式规约切片技术；第三部分包括第6～7章，主要研究了Z形式规约切片的应用；第四部分为第8章，是对全书的结论。
本书研究的目的是通过对形式规约切片原理的研究，一定程度上解决形式规约切片及其在提升和度量应用等方面存在的问题，提出基于依赖性分析的Z形式规约切片和基于关系演算的Z形式规约切片，并在此基础上把Z形式规约切片应用到提升、定理证明和度量上。
目录
序
前言
第1章导论
1.1Z形式规约切片的研究依据
1.1.1研究背景
1.1.2研究意义
……[看更多目录]
点此购买报价￥13.50