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

单词	separation logic
释义	separation logic Encyclopedia 理学程序验证释 separation logic分离逻辑一种支持指针程序验证的程序逻辑。是对霍尔逻辑的扩充。
随便看	集成曲集成曲谱集成材集成栅极换流晶闸管集成橡胶集成毛细管电泳芯片集成注入逻辑电路集成测试集成滑动平均模型集成电子学集成电源集成电路集成电路优化设计集成电路分析验证集成电路史集成电路密封剂集成电路工艺集成电路布图设计专有权集成电路布图设计保护条例集成电路建模集成电路测试集成电路版图设计规则集成电路用光致抗蚀剂集成电路继电保护装置集成电路计算机辅助设计

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