电脑体验，效果更佳

朱雪阳图谱-自然科学领域：

相关人员

张广泉 郑建丹

研究领域

软件体系结构 XYZE 体系结构风格 时态逻辑语言

所属机构

中国科学院计算机科学重点实验室 重庆师范学院数学与计算机科学系

标签云