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

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

出版社：中国科学技术大学出版社

ISBN：9787312041020

出版年：2017

作者：马艳芳

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

并发对象的正确性研究

作者：贾巧雯
出版社：中国科学院软件研究所
出版年：2023

RDF正确性检验关键技术的研究与应用

作者：李丙珂
出版社：中国科学院沈阳计算技术研究所
出版年：2023

机群文件系统性能与正确性研究

作者：贺劲
出版年：2002

论文题目：程序语言转换的正确性及其在XYZ系统中的应用

作者：沈武威
出版社：中国科学院
出版年：1995

程序正确性逻辑验证的一些探讨

作者：薛涛
出版社：中国科学院
出版年：2008

基本逻辑学 :思维与表达正确性问题探究

作者：冯琦
ISBN：9787030658968
出版社：科学出版社
出版年：2020