电脑体验，效果更佳

形式化方法图谱-社科哲学领域：

研究人员

李信本 陈广明 丘金元 杨淑群 张伟琛 王迤冉 王春霞 陈生庆 章仕昌

相关术语

结构主义 辩证逻辑 需求分析 PEARL 程序正确性 实时系统 最弱前置谓词 设计模式 现代科学 面向方面 形式逻辑 冯契 规格说明 乔姆斯基 重用 规约模式 状态模式 AOSD 前置条件 中间断言 语言 RT-Z Z语言

标签云