MARC状态：已编 文献类型：中文图书 浏览次数：5
- 题名/责任者:
- 工业关键系统的形式化方法:应用综述/(意)Stefania Gnesi，(意)Tiziana Margaria著 靳添絮，连晓峰等译
- 出版发行项:
- 北京:机械工业出版社,2015
- ISBN及定价:
- 978-7-111-48521-6/CNY69.00
- 载体形态项:
- 15,228页;24cm
- 并列正题名:
- Formal methods for industrial critical systems:a survey of applications
- 丛编项:
- 国际电气工程先进技术译丛
- 个人责任者:
- (意) 格涅斯 (Gnesi, Stefania) 著
- 个人责任者:
- (意) 玛格丽特 (女，Margaria, Tiziana) 著
- 个人次要责任者:
- 靳添絮 译
- 个人次要责任者:
- 连晓峰 (1977-) 译
- 学科主题:
- 计算机技术-应用-工业-自动控制系统-研究
- 中图法分类号:
- TP273
- 提要文摘附注:
- 本书分为6部分，介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展，形式化方法在互联网和在线服务方面的应用，实时应用程序的形式化方法，并向读者展示了形式化方法在通信系统中的发展和成果。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP273/111 | A6173220 |  自然科学书库（七里坪新馆六楼）
|
可借 | 自然科学书库（七里坪新馆六楼） | |
| TP273/111 | A6173221 | 自然科学书库（七里坪新馆六楼）
|
可借 | 自然科学书库（七里坪新馆六楼） | |
| TP273/111 | A6173219 | A自科5楼(李子园校区)
|
可借 | A自科5楼(李子园校区) |
显示全部馆藏信息