“并发分离逻辑”的概念、定义、翻译、参考文献-科学参考

单词	并发分离逻辑
释义	并发分离逻辑 Encyclopedia 理学程序验证释 concurrent separation logic并发分离逻辑支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看	海水资源化学海水资源开发利用海水采样技术海水重金属测量仪海水钻井液海水鱼假单胞菌病海水鱼发光杆菌病海水鱼类寄生虫病海水鱼类弧菌病海水鱼类病毒病海水鱼类盾纤毛虫病海水鱼类细菌病海沟海沧区海河海河两岸综合开发改造海河平原海河水利海河水利史海河流域综合规划海河防洪海河防潮闸海泉海法海泛面

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