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

【书名】 基于环境的软件近似正确性
【作者】 马艳芳
【出版社】 合肥中国科学技术大学出版社
【出版时间】 2017.02
【关键词】 程序正确性证明
【摘要描述】 建立了概率化参数互模拟确定性概率进程近似互模拟的无限演化及其拓扑结构。
【中国图书分类号】 TP311.1

在线工具导航