国际信息工程先进技术译丛:工业关键系统的形式化方法·应用综述【上新】

计算机与互联网 计算机控制与仿真

• ISBN：9787111485216
• 作者：格涅斯 (Stefania G
• 包装：平装
• 版次：1
• 出版社：机械工业出版社
• 出版时间：2015-01-01