杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Event-B建模:系统和软件工程/(法) 简-埃蒙德·阿布瑞尔著 裘宗燕译

出版发行项:

北京:人民邮电出版社,2019

ISBN及定价:

978-7-115-50899-7/CNY129.00

载体形态项:

11, 462页:图;26cm

统一题名:

Modeling in Event-B : system and software engineering

其它题名:

系统和软件工程

个人责任者:

阿布瑞尔 (Abrial, Jean-Raymond) 著

个人次要责任者:

裘宗燕 译

学科主题:

软件工程-系统建模

中图法分类号:

TP311.5

出版发行附注:

由Cambridge University Press授权

相关题名附注:

原文题名取自封面

责任者附注:

简-埃蒙德·阿布瑞尔 (Jean-Raymond Abrial)，国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授。

书目附注:

有书目 (第462页)

提要文摘附注:

本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进的想法，作者的系统方法允许用户逐步构建模型并通过多种证明方法以促进系统的推理方法。读者将学习如何构建程序模型和离散系统。本书包含大量实例，包括顺序程序，并发程序和电子电路等。本书还包含了大量的练习和项目等。

豆瓣简介：