裘宗燕(Qiu Zongyan)
北京大学数学学院信息科学系教授(退休)
专业兴趣:程序理论,软件形式化方法,程序设计语言,计算机语言的语义模型,计算机科学教育
主要著作和译著
2000年以来讲授过的课程
科研工作
近期科研技术报告
链接:
北京大学
北京大学数学学院
数学学院信息科学系
北京大学图书馆
EMAIL:
qzy@math.pku.edu.cn
通讯地址:100871,北京大学数学学院信息科学系
访问计数(2005.10开始):
177243
最后修改:2019-09-11