机读格式显示(MARC)

• 000 01215nam0 2200277 450

• 001 0000196306

• 005 20210704193100.0

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

• 100 __ |a 20191011d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

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

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

• 215 __ |a 11,462页 |d 26cm

• 305 __ |a 由Cambridge University Press授权出版

• 312 __ |a 封面英文题名：Modeling in Event-B: system and software engineering

• 330 __ |a 本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。书中介绍了如何根据实际需要去构造各种程序，以及如何构造各种更一般的离散系统的模型。还提供了大量示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。

• 510 1_ |a Modeling in Event-B |e system and software engineering |z eng

• 606 0_ |a 软件工程 |x 系统建模

• 690 __ |a TP311.5 |v 5

• 701 _0 |c (法) |a 阿布瑞尔 |9 a bu rui er |c (Abrial, Jean-Raymond) |4 著

• 702 _0 |a 裘宗燕 |9 qiu zong yan |f (1952-) |4 译

• 801 _0 |a CN |b GDPTC |c 20210704

• 905 __ |a GDPTC |d TP311.5/178