并发对象的正确性研究

出版社:中国科学院软件研究所
出版年:2023
作者:贾巧雯
资源类型:图书
细分类型:学位论文
相关推荐

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

  • 作者:马艳芳
  • ISBN:9787312041020
  • 出版社:中国科学技术大学出版社
  • 出版年:2017

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

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

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

  • 作者:贺劲
  • 出版年:2002

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

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

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

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

并发软件适应性随机测试方法研究

  • 作者:岳翰
  • 出版年:2015