书籍简介:

本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论，建立了近似的参数化互模拟和近似的三分之二互模拟理论。为了描述带有概率信息软件系统的近似正确性，建立了概率化参数互模拟及确定性概率进程近似互模拟的无限演化及其拓扑结构。

书籍规格:

书籍详细信息
书名	基于环境的软件近似正确性站内查询相似图书
	9787312041020 如需购买下载《基于环境的软件近似正确性》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	合肥	出版单位	中国科学技术大学出版社
版次	1版	印次	1
定价(元)	28.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

基于环境的软件近似正确性是中国科学技术大学出版社于2016.11出版的中图分类号为 TP311.1 的主题关于程序正确性证明的书籍。