电脑体验，效果更佳

精化演算图谱-计算机领域：

研究人员

王云峰 杨朝晖 庞军 阮幼林 郑国梁 李必信 查鸣 李传湘

相关术语

模式 形式化规约 形式化开发方法 程序窗口推理 面向对象 形式规约 数据精化 精化工具

标签云