机读格式显示(MARC)

• 000 01306cam0 2200301 450

• 001 0000565231

• 005 20211004172900.0

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

• 100 __ |a 20200408d2019 em y0chiy50 ea

• 101 1_ |a chi |c fre

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

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

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

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

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

• 306 __ |a 本书限中国大陆发行

• 312 __ |a 版权页英文题名:Modeling in Event-B: system and software engineering

• 330 __ |a 本书介绍如何根据实际需要去构造各种程序,以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例,这些示例源自计算机系统开发的各个领域,包括顺序程序、并发程序和电子线路等。本书还包含了大量具有不同难度的练习和开发项目。

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

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

• 606 0_ |a 软件工程 |A Ruan Jian Gong Cheng |x 系统建模

• 690 __ |a TP311.5 |v 5

• 701 _1 |c (法) |a 阿布瑞尔 |A E Bu Rui Er |g Abrial, Jean-Raymond |4 著

• 702 _0 |a 裘宗燕 |A Qiu Zong Yan |4 译

• 801 _0 |a CN |b 91MARC |c 20200408

• 905 __ |a WXCSXY |d TP311.5/470