Department of Computer Science University of Oxford Wolfson Building Parks Road Oxford OX1 3QD UK;
机译:引导学生迈向数学思维的形式世界:数学家对本征理论的思考
机译:在软件工程中教授形式化方法
机译:正式方法:数学,计算机科学或软件工程?
机译:向软件工程师教学介绍性的正式方法和离散数学:对造型聚焦方法的思考
机译:启发性的方法课程介绍了职前教师对基础数学教学的看法的变化
机译:将理论付诸实践:对专业开设大型介绍性生物学课程的思考
机译:教学形式化方法与离散数学
机译:离散数学,形式方法,Z模式和软件生命周期