机读格式显示(MARC)

• 000 01695nam 2200349 450

• 001 0000241683

• 005 20151016163100.0

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

• 100 __ |a 20150122d2015 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 工业关键系统的形式化方法 |A 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 xiii, 228页 |c 图 |d 24cm

• 225 2_ |a 国际信息工程先进技术译丛 |A guo ji xin xi gong cheng xian jin ji shu yi cong

• 305 __ |a 据原书2013年英文版译出

• 312 __ |a 英文并列题名取自封面

• 314 __ |a 责任者Gnesi规范汉译姓: 涅西; 责任者Margaria规范汉译姓: 马尔加里亚

• 320 __ |a 有书目

• 330 __ |a 本书分为6部分。第1部分是概述；第2部分致力于介绍建模范例；第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展；第4部分则向读者展示了形式化方法在通信系统中的发展和成果；第5部分则介绍了形式化方法在互联网和在线服务方面的应用；而在第6部分则介绍了实时应用程序的形式化方法。

• 410 _0 |1 2001 |a 国际信息工程先进技术译丛

• 500 10 |a Formal methods for industrial critical systems: a survey of applications |A Formal Methods For Industrial Critical Systems: A Survey Of Applications |m Chinese

• 606 0_ |a 自动控制系统 |A zi dong kong zhi xi tong |x 计算机技术 |x 应用 |x 研究

• 690 __ |a TP273 |v 5

• 701 _1 |a 涅西 |A nie xi |g (Gnesi, Stefania) |4 著

• 701 _1 |a 马尔加里亚 |A ma er jia li ya |g (Margaria, Tiziana) |4 著

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

• 702 _0 |a 连晓峰 |A lian xiao feng |4 译

• 801 _0 |a CN |b WUL |c 20150122

• 905 __ |a AUSTL |d TP273/N879