机读格式显示(MARC)

• 000 01490nam0 2200325 450

• 001 0000754238

• 005 20191203145500.0

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

• 100 __ |a 20191101d2019 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 11, 462页 |c 图 |d 26cm

• 306 __ |a 由Cambridge University Press授权

• 312 __ |a 原文题名取自封面

• 314 __ |a 简-埃蒙德·阿布瑞尔 (Jean-Raymond Abrial)，国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授。

• 320 __ |a 有书目 (第462页)

• 330 __ |a 本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进的想法，作者的系统方法允许用户逐步构建模型并通过多种证明方法以促进系统的推理方法。读者将学习如何构建程序模型和离散系统。本书包含大量实例，包括顺序程序，并发程序和电子电路等。本书还包含了大量的练习和项目等。

• 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 HDUL |c 20191203

• 905 __ |a HDUL |d TP311.5/7411

• 920 __ |a 233030 |z 1