“concurrent separation logic”的概念、定义、翻译、参考文献-科学参考

单词	concurrent separation logic
释义	concurrent separation logic Encyclopedia 理学程序验证释 concurrent separation logic并发分离逻辑支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看	无定形半导体无定形和液态半导体材料无定形性无定形星系无定形沉淀无定形现象无定形的无定形石墨无定形硅无定形碳无定河无实体的无害的无害通过权无家可归的人们无对象交流无导数方法无导数的无导线介质无将大车无尘星系无尺度网络无尽小数无尽的无尽藏

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。