基于环境的软件近似正确性 - 畅想之星电子书

数字资源平台 > 工学> 计算机科学与技术（可授工学、理学学位）> 计算机软件与理论> 基于环境的软件近似正确性

阅读次数： 1 下载次数： 1
荐购次数： 1 收藏次数： 0

基于环境的软件近似正确性

作者：
马艳芳著
出版社：
中国科学技术大学出版社

出版时间：
2017.01
ISBN：
978-7-312-04102-0
主题：
程序正确性证明
中图法分类号：
TP311.1
【中图法分类】
T 工业技术 > TP自动化技术、计算机技术 > TP3计算技术、计算机技术 > TP31计算机软件
【学科分类】
工学 > 计算机科学与技术（可授工学、理学学位） > 计算机软件与理论
工学 > 电子信息 > 计算机技术
工学 > 电子信息 > 软件工程

建议阅读终端：

扫描用手机阅读此书支持Android/iPhone

在线试读

PDF格式

下载

PDF下载

分享到

注：如果您的电脑尚未安装PC客户端，请先安装客户端后再下载阅读！

暂无推荐

简介

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

目录

展开 ∨

评论

评分：

1
2
3
4
5

评价：

请输入评论信息

0/255 我要评论

全部评论(1)

默认排序

相关推荐