电脑体验，效果更佳

高洪皓图谱-计算机领域：

相关人员

王鹏 陈韶君 宫尚 叶基瑶

研究领域

服务重用 马丁洛夫类型理论与Coq 三农信息化 手机终端 服务构件 高可靠性与可信性 服务组合 形式化组装验证

所属机构

浙江大学软件学院 浙江大学农业遥感与信息技术应用研究所

标签云