教授
所在单位：电子信息与电气工程学院
职称：教授
查看更多>
发表刊物：中国大学教学
ISSN号：1005-0450
是否译文：否
发表时间：2018-01-01
论文类型：期刊论文
上一条：形式化方法的理论基础专题前言
沪ICP备05052060 版权所有©上海交通大学
访问人数： | 开通时间：--
最近更新时间：--
