请输入您要查询的字词:
单词
并发分离逻辑
释义
并发分离逻辑
Encyclopedia
理学
程序验证
释
concurrent separation logic
并发分离逻辑
支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看
专家知识岛
专家知识模型
专家知识获取
专家系统
专家系统与应用
专家系统原理
专家系统外壳
专家系统工具
专家系统应用
专家系统开发工具
专家系统环境
专家系统设计
专家论证
专家证人
专家评价
专家评价法
专家辅助人
专家问题求解
专属管辖
专心的
专志
专性共生
专性厌氧菌
专性寄生
专性寄生物
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/26 21:29:09