登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

程序正确性逻辑验证的一些探讨
出版社：中国科学院
出版年：2008
作者：薛涛
资源类型：图书
细分类型：中文文献,学位论文
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

对快速变换的一些探讨
  • 作者：古佑玲
  • 出版年：1981
...

逻辑的哲学探讨
  • 作者：程仲棠
  • ISBN：9787030342799
  • 出版社：科学出版社
  • 出版年：2012
...

基本逻辑学 :思维与表达正确性问题探究
  • 作者：冯琦
  • ISBN：9787030658968
  • 出版社：科学出版社
  • 出版年：2020
...

递归量子程序设计与验证的逻辑基础
  • 作者：许兆伟
  • 出版社：中国科学院软件研究所
  • 出版年：2019
...

应用IBM-2对混合对称态的一些探讨
  • 作者：文万信
  • 出版年：1990
...

在时序逻辑语言中设计和验证分布式程序的方法
  • 作者：周盛宗
  • 出版年：1985