机读格式显示(MARC)

• 000 01296nam0 2200301 450

• 001 0000316264

• 005 20200529101500.0

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

• 100 __ |a 20190923d2019 em y0chiy50 ea

• 101 1_ |a chi |c fre

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

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

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

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

• 300 __ |a 异步图书

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

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

• 320 __ |a 有书目

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

• 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 湖北三新 |c 20190923

• 905 __ |a AUSTL |d TP311.5/A159