论文部分内容阅读
本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。
欧洲高校计算机专业的形式化方法课程教学
【摘 要】
：
本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。
【机 构】
：
桂林电子科技大学
【出 处】
：
计算机教育
【发表日期】
：
2008年10期
其他文献
非结构化存储是一个日益增长的普遍需求.近些年来,云存储技术、非关系型数据库技术有着突飞猛进的发展,由此也为存储服务的设计与实现创造了条件.本文旨在提出一种存储服务的
同一社会的法律法规整体中,不同性质的法对行为违法性的评价始终是一致的。《民法典》的问世,将人格权独立成编。人格权的独立成编不仅彰显了国家对公民的生命权、身体权、健
随着油田进入开发中后期,丛式井、加密井逐渐增多,目前仍主要沿用＂一井一机＂的生产模式,存在成本高、传递环节多、效率低等问题,若采用一机双井或多井抽油,具有节能显著、成本
可展机构在航空航天、建筑、汽车、消防等领域都有着广泛的应用，是人类用以传递力的重要机构。文章对可展机构的特点进行了总结，对可展机构的常见结构类型和工作原理进行了分类
食管烫伤（附７例报告）附属医院内科孙人杰，陈定陶，孙丽萍食管烫伤是因进食刚煮沸或高温食物而发生的食管损伤，因常人均惧食滚烫食物放本病不同于外科烧伤罕见于内科临床。以往国内外
打磨电机不能提升是钢轨打磨车施工作业的最常见故障。文章从打磨电机的机械结构、液压结构、电气控制三个方面,分析了故障产生的原因和处理办法,有助于施工人员有针对性地采