裘宗燕(Qiu Zongyan)

北京大学数学学院信息科学系教授(退休)

专业兴趣:程序理论,软件形式化方法,程序设计语言,计算机语言的语义模型,计算机科学教育

主要著作和译著

2000年以来讲授过的课程

科研工作

近期科研技术报告


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

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