机读格式显示(MARC)

• 000 01443oam2 2200349 450

• 001 0000225789

• 005 20151023090053.0

• 010 __ |a 978-7-111-48521-6 |d CNY69.00

• 100 __ |a 20150226d2015 em y0chiy50 ea

• 101 1_ |a chi |c ita

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 工业关键系统的形式化方法 |9 gong ye guan jian xi tong de xing shi hua fang fa |e 应用综述 |f (意)Stefania Gnesi，(意)Tiziana Margaria著 |g 靳添絮，连晓峰等译

• 210 __ |a 北京 |c 机械工业出版社 |d 2015

• 215 __ |a 15,228页 |d 24cm

• 225 2_ |a 国际电气工程先进技术译丛

• 330 __ |a 本书分为6部分，介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展，形式化方法在互联网和在线服务方面的应用，实时应用程序的形式化方法，并向读者展示了形式化方法在通信系统中的发展和成果。

• 461 _0 |1 2001 |a 国际电气工程先进技术译丛

• 510 1_ |a Formal methods for industrial critical systems |e a survey of applications |z eng

• 606 0_ |a 计算机技术 |x 应用 |x 工业 |x 自动控制系统 |x 研究

• 690 __ |a TP273 |v 5

• 701 _0 |c (意) |a 格涅斯 |9 ge nie si |c (Gnesi, Stefania) |4 著

• 701 _0 |c (意) |a 玛格丽特 |9 ma ge li te |c (女，Margaria, Tiziana) |4 著

• 702 _0 |a 靳添絮 |9 jin tian xu |4 译

• 702 _0 |a 连晓峰 |9 lian xiao feng |f (1977-) |4 译

• 801 _0 |a CN |b SYSXHSD |c 20150701

• 801 _2 |a CN |b LIY |c 20151023

• 905 __ |a SYXY |d TP273/111

• 907 __ |y 2015 |a SYXY |y 2015 |h |d TP273 |r CNY69.00 |e 111

• 908 __ |a 0101192330

• 908 __ |a 0000225789