MARC状态:已编 文献类型:中文图书 浏览次数:58
- 题名/责任者:
- 工业关键系统的形式化方法:应用综述/(意)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
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP273/177 | 010660727 | 1 | 文锦书苑 | 可借 | 文锦书苑 |
TP273/177 | 010660728 | 1 | 文锦书苑 | 可借 | 文锦书苑 |
TP273/177 | 010660729 | 1 | 文锦书苑 | 可借 | 文锦书苑 |
显示全部馆藏信息