请输入您要查询的字词：
单词
rely-guarantee method
释义
rely-guarantee method
Encyclopedia
理学
程序验证
释
rely-guarantee method
依赖-保证方法
一种支持对并发程序的可组合验证的并发程序验证方法。是对霍尔逻辑的扩充，最早由C.琼斯[注]（Cliff Jones）于1981年在其博士学位论文中提出。
随便看
On Painting
On Parting
On Penetrating the Transformations Based on the Charts of the Book of Changes
On Plague Diseases
On Poetic Forms and Patterns
On Poetics
On Poetry
On Poland
On Policy
On Political Factions
On Practice
on-premise standby equipment
ONR
On Records Movement
on resistance
On Resolving Doubts and Indicating the Ways
On Rural Surveys
Onsager
Onsager differential equation
Onsager hard-rod model
Onsager molecular field theory
Onsager reciprocal relation
Onsager reciprocal relations
Onsager reciprocity relation
Onsager relations
科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间：2025/7/25 10:43:03