欧洲高校计算机专业的形式化方法课程教学

摘要：

本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。

关键词： 高等教育 计算机专业 课程体系 教学模式 欧洲高校

作者: 古天龙 董荣胜

作者单位: 桂林电子科技大学,广西 桂林 541004

会议类型: 国内会议

会议名称: 第二届中国计算机教育与发展学术研讨会

会议地点: 济南

会议语种:中文

页码: 267-271

在线出版日期: 2008-05-08（万方平台首次上网日期，不代表论文的发表时间）