电脑体验，效果更佳

半形式化方法图谱-计算机领域：

研究人员

孙永强 姜利

相关术语

规范语言 形式规范 面向对象技术 形式化技术 软件工程

标签云