电脑体验，效果更佳

裘宗燕图谱-自然科学领域：

相关人员

杨红丽 陈丹敏 张乃孝 魏晋伟 孙猛

研究领域

CSP 规范 形式化方法 公钥加密 B方法 UML 群签名 门禁系统

所属机构

北京大学数学科学学院 北京大学数学学院信息科学系 河南大学计算机与信息工程学院

标签云