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

单词	concurrent separation logic
释义	concurrent separation logic Encyclopedia 理学程序验证释 concurrent separation logic并发分离逻辑支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看	火电厂火电厂主厂房布置火电厂劳动安全与职业卫生设计火电厂厂区总布置火电厂启动调整试验火电厂在线化学监测仪表火电厂培训仿真机火电厂大气污染物排放标准火电厂大气污染物综合排放标准火电厂安全生产火电厂安全生产法规火电厂安全生产组织措施火电厂安全相关系统火电厂建厂条件火电厂总体规划火电厂控制中心布置火电厂控制系统火电厂整套启动试运行火电厂机组化学清洗火电厂水处理系统控制火电厂水汽质量监测仪表火电厂水质检测火电厂消防设计火电厂热控经济性优化措施火电厂热控设备运行检修

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