|
题名:
|
工业关键系统的形式化方法 / (意) Stefania Gnesi, Tiziana Margaria著 , 靳添絮，连晓峰等译 |
|
ISBN:
|
978-7-111-48521-6 价格： CNY69.00 |
|
语种:
|
chi |
|
载体形态:
|
xiii, 228页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2015 |
|
内容提要:
|
本书分为6部分。第1部分是概述；第2部分致力于介绍建模范例；第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展；第4部分则向读者展示了形式化方法在通信系统中的发展和成果；第5部分则介绍了形式化方法在互联网和在线服务方面的应用；而在第6部分则介绍了实时应用程序的形式化方法。 |
|
主题词:
|
自动控制系统 计算机技术 |
|
中图分类法:
|
TP273 版次： 5 |
|
主要责任者:
|
涅西 著 |
|
主要责任者:
|
马尔加里亚 著 |
|
次要责任者:
|
靳添絮 译 |
|
次要责任者:
|
连晓峰 译 |
|
责任者附注:
|
责任者Gnesi规范汉译姓: 涅西; 责任者Margaria规范汉译姓: 马尔加里亚 |
|
索书号:
|
3 |