请输入您要查询的字词:
单词
concurrent separation logic
释义
concurrent separation logic
Encyclopedia
理学
程序验证
释
concurrent separation logic
并发分离逻辑
支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看
Edward Muteesa II
Edward Norton Lorenz
Edward Osborne Wilson
Edward Otto Laumann
Edward P.Alexander
Edward Reilly Stettinius, Jr.
Edward Richard George Heath
Edward Roscoe Murrow
Edward R.Tufte
Edward Ruscha
Edward Sapir
Edward Schaumberg Quade
Edward Scissorhands
Edwards Edward
Edward Sheriff Curtis
Edwardsiella infection
Edwardsiellasis in freshwater fish
Edwardsiellosis in flatfish
Edwards Personal Preference Schedule
Edwards Plateau
Edward's rat
Edward Sumo Jones
Edward Taylor
Edward Teller
Edward Tufte
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/7 14:16:53