机读格式显示(MARC)

• 000 01702nam0 2200337 450

• 001 0000900362

• 005 20200921112800.0

• 010 __ |a 978-7-115-50899-7 |d CNY129.00

• 099 __ |a CAL 012019116507

• 100 __ |a 20190920d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a Event-B建模 |A Event-B jian mo |e 系统和软件工程 |f (法) 简-埃蒙德·阿布瑞尔著 |g 裘宗燕译

• 210 __ |a 北京 |c 人民邮电出版社 |d 2019

• 215 __ |a 462页 |c 图 |d 26cm

• 306 __ |a 本书中文简体版由Cambridge University Press授权出版

• 312 __ |a 英文并列题名取自封面

• 320 __ |a 有书目

• 330 __ |a 本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德·阿布瑞尔（Jean-RaymondAbrial）是国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。

• 500 10 |a Modeling in Event-B : system and software engineering |A Modeling In Event-b : System And Software Engineering |m Chinese

• 517 1_ |a 系统和软件工程 |A xi tong he ruan jian gong cheng

• 606 0_ |a 软件工程 |A ruan jian gong cheng |x 系统建模

• 690 __ |a TP311.5 |v 5

• 701 _1 |a 阿布瑞尔 |A a bu rui er |g (Abrial, Jean-Raymond) |4 著

• 702 _0 |a 裘宗燕 |A qiu zong yan |4 译

• 801 _0 |a CN |b NMU |c 20190920

• 905 __ |a JHUD |d TP311.5/729

• 920 __ |a 242450 |z 1

• 998 __ |a NMU