电脑体验，效果更佳

形式化规约图谱-计算机领域：

研究人员

阮幼林 祝义 杨德礼 周航 冯学民 李传湘 李刚 郑志

相关术语

构件 软件体系结构 面向对象 模式 层次谓词变迁网 GOOZ 精化演算 Unity逻辑

标签云