从1,500,000教师库中查找(输入学校名称或教师姓名)
徐永森老师介绍
徐永森 1938年9月生,计算机科学与技术系教授。主要研究方向:软件工程,软件语言,软件理论。主要代表成果:1.NUSL:An Executable Specification Language Based on date Abatraction,Lecture Notes in Computer Science 328, Springer-Verlag.;2.Diverse Executable Semantics Definifions in NUSL and an Implementation of Functional Types, ACM SIGPLAN NOTICES, Vo1.25, No.5.
电话:83686536个人主页:http://电子邮件:powerxu#nju.edu.cn
电话:83686536个人主页:http://电子邮件:powerxu#nju.edu.cn
徐永森老师相关教学资源
- 南京大学教学资源
- 徐永森老师课程教学资源