电脑体验，效果更佳

形式化开发方法图谱-自然科学领域：

研究人员

江富春 郝克刚 葛玮

相关术语

非形式化开发方法 西方数学思想 东方数学思想

标签云