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

单词	concurrent separation logic
释义	concurrent separation logic Encyclopedia 理学程序验证释 concurrent separation logic并发分离逻辑支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看	大气污染控制大气污染控制化学大气污染效应大气污染毒理学大气污染流动监测站大气污染流行病学大气污染源大气污染源调查大气污染灾害大气污染物大气污染物排放标准大气污染物治理材料大气污染物的相互作用大气污染生物评价大气污染的免疫系统健康影响大气污染的危害大气污染的呼吸系统健康影响大气污染的心血管系统健康影响大气污染监测大气污染联防联控大气污染自动监测系统大气污染连续自动监测系统大气污染遥感大气污染防治法大气污染防治行动计划

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