注册 |登录
已有 1112 次阅读 2020-6-12 12:46 |个人分类:软件工程|系统分类:教学心得| 形式化方法, 计算模型, 协同智能
推荐到博客首页
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-23 23:16
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社