• 第一考试网微信公众号第一考试网微信公众号
南京大学校徽

南京大学 徐永森

985211 双一流

  • 仙林校区地址：江苏省南京市仙林大道163号;鼓楼校区地址：江苏省南京市汉口路22号
  • https://www.nju.edu.cn/ http://bkzs.nju.edu.cn
  • 400-185-9680
  • bkzs@nju.edu.cn

  1. 院校大全
  2. 南京大学
  3. 技术学院
  4. 徐永森

徐永森

姓名： 徐永森
学校： 南京大学
学院： 技术学院
职称：  

徐永森老师的简介

徐永森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.

徐永森老师的课程

  • 暂时还没有收录徐永森老师的课程列表，我们将尽快添加。

    • 徐永森老师的论文

    • 暂时还没有收录徐永森老师的论文，我们将尽快添加。

    徐永森老师参与的论文

    • 暂时还没有收录徐永森老师参与的论文，我们将尽快添加。

    技术学院 其他教师

    关于徐永森老师的相关提示：以上内容并非是徐永森老师的最新情况，请以徐永森老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com