电脑体验，效果更佳

形式化技术图谱-计算机领域：

研究人员

张晓燕 孙永强 王娜 桂自强 王亚弟 冯玉琳 姜利 史杏荣

相关术语

形式规范 ESTELLE 通信软件工程 协议设计 安全协议 半形式化方法 面向对象技术 非形式化技术

标签云