傅育熙

教授

所在单位：电子信息与电气工程学院

职称：教授

查看更多>

团队成员
教师主页二维码
手机版

常用链接

论文成果

中文主页 - 科学研究 - 论文成果

形式化方法的理论基础专题前言

发布时间：2020-06-08

发表刊物：RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE

ISSN号：1000-9825

是否译文：否

发表时间：2018-01-01

论文类型：期刊论文

上一条：A note on the Knaster-Tarski Fixpoint Theorem

下一条：发展中国特色的慕课模式 提升教改创新与人才培养质量

 沪ICP备05052060 版权所有©上海交通大学

访问人数： | 开通时间：--

最近更新时间：--