裘宗燕主页

裘宗燕,北京大学数学学院信息科学系教授
专业兴趣领域:程序理论,软件形式化方法,程序设计语言,计算机语言的语义模型,计算机科学教育


教学与科研

教学工作 科研工作

主要著作和译著


链接:

北京大学 北京大学数学学院 数学学院信息科学系 北京大学图书馆


EMAIL:qzy@math.pku.edu.cn
通讯地址:100871,北京大学数学学院信息科学系
访问计数(2005.10开始):1
最后修改:2012-02-09