安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

11, 462页:图;26cm

其它题名:

系统和软件工程

个人责任者:

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

个人次要责任者:

裘宗燕 译

学科主题:

软件工程-系统建模

中图法分类号:

TP311.5

一般附注:

异步图书

出版发行附注:

本书中文简体版由Cambridge University Press授权人民邮电出版社有限公司出版

责任者附注:

简-埃蒙德·阿布瑞尔 (Jean-Raymond, Abrial) 法国计算机科学家, 国际知名的形式化方法和软件工程专家, 欧洲科学院院士。20世纪80年代, 他先后开发了著名的Z语言和B方法。

书目附注:

有书目

提要文摘附注:

本书提供了大量示例, 这些示例源自计算机系统开发的各个领域, 包括顺序程序、并发程序和电子线路等。本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用 Rodin平台工具集证明过。

豆瓣简介：