电脑体验，效果更佳

黄雨图谱-计算机领域：

相关人员

高昕 赵文 袁崇义 王捍贫 胡文蕙 黄舒志

研究领域

O-表达式 进展性 操作表达式 程序规范 物理对象 Petri Nets 语义公理 物理对象上的操作表达式

所属机构

北京大学信息科学技术学院 教育部高可信软件技术重点实验室 北京大学软件工程国家工程研究中心 北京大学教育部高可信软件技术重点实验室

标签云