电脑体验，效果更佳

分离逻辑图谱-计算机领域：

研究人员

赵荣盛 刘真环 曾庆凯 黄达明 王驹 陈艳 韦立

相关术语

形式化 低级并发程序 可信软件 DDS并行模型 Petri网 抽象机器 定理证明 霍尔逻辑 全局调度算法 程序验证 时段演算

标签云