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

教授课程的有关材料

科研工作

近期科研技术报告

主要著作和译著


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

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