工业关键系统的形式化方法:应用综述(国际信息工程先进技术译丛) (综合先进的文献资料和常用方法,案例均来自实际开发过程。)
¥58.30定价:¥69.00 (8.45折)
37条评论
(意)格涅斯,(意)玛格丽特 著,靳添絮 等译 /2015-01-01 /机械工业出版社
收藏