请输入您要查询的字词:
单词
依赖-保证方法
释义
依赖-保证方法
Encyclopedia
理学
程序验证
释
rely-guarantee method
依赖-保证方法
一种支持对并发程序的可组合验证的并发程序验证方法。是对霍尔逻辑的扩充,最早由C.琼斯[注](Cliff Jones)于1981年在其博士学位论文中提出。
随便看
格罗滕迪克拓扑
格罗滕迪克拓扑化范畴
格罗滕迪克群
格罗滕迪克范畴
格罗特利安图
格罗特斯机制
格罗特,G.
格罗皮乌斯,W.
格罗秦斯基硬度试验
格罗腾迪克环
格罗腾迪克空间
格罗莫夫
格罗莫夫-劳森猜想
格罗莫夫-威顿不变量
格罗莫夫法
格罗莫夫飞行研究院
格罗莫夫,M.
格罗莫讷国家公园
格罗菲,F.
格罗贝,L.
格罗默填装
格罗默定理
格罗,A.-J.
格群
格群的种
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/9/29 21:13:24