工业关键系统的形式化方法

工业关键系统的形式化方法 Formal methods for industrial critical systems

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: 格涅斯 (著)
מחברים אחרים: 玛格丽特 (著)
יצא לאור: 机械工业出版社

省图图书

פרטי מלאי ספרים מ 省图图书
סימן המיקום 条码号 סטטוס
TP273/860 30251575 זמין

פריטים דומים