数学计算机学院硕士论文答辩海报.docVIP

数学计算机学院硕士论文答辩海报（一） 专业 计算机软件与理论，应用数学 答辩时间 2010年5月23日下午2：30 答辩地点 计算机楼学术报告厅207 答 辩 委 员 会 组 成 姓 名 职 称 所 在 单 位 主席 何 丰 教授 北方民族大学计算机科学与工程学院 委 员 魏立力 教授 宁夏大学数学计算机学院 冯 锋 副教授 宁夏大学数学计算机学院 秘 书 杨绍华 讲师 宁夏大学数学计算机学院 答辩 研究生 研究方向 论文题目 导师 彭瑞峰 软件形式化方法 基于SPIN的网络协议形式化分析与验证 丁志义 王家伟 计算机语言的形式语义 C#语言的类的公理语义 丁志义