中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

工业关键系统的形式化方法:应用综述/(意) Stefania Gnesi, Tiziana Margaria著 靳添絮, 连晓峰等译

出版发行项:

北京:机械工业出版社,2015

ISBN及定价:

978-7-111-48521-6/CNY69.00

载体形态项:

XIII, 228页:图;24cm

统一题名:

Formal methods for industrial critical systems : a survey of applications

丛编项:

国际信息工程先进技术译丛

个人责任者:

涅西 (Gnesi, Stefania) 著

个人责任者:

马尔加里亚 (Margaria, Tiziana) 著

个人次要责任者:

靳添絮 译

个人次要责任者:

连晓峰 译

学科主题:

计算机技术-应用-工业-自动控制系统-研究

中图法分类号:

TP273

版本附注:

据原书2013年英文版译出

相关题名附注:

英文题名取自版权页

责任者附注:

责任者Gnesi规范汉译姓: 涅西 ; 责任者Margaria规范汉译姓: 马尔加里亚

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：

随书光盘: