电脑体验，效果更佳

程序的形式推导方法图谱-自然科学领域：

研究人员

张军 彭佳红

相关术语

程序规范 循环不变式 界函数

标签云