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

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

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	格涅斯 (著)
مؤلفون آخرون:	玛格丽特 (著)
منشور في:	机械工业出版社

المقتنيات

省图图书

تفاصيل المقتنيات من 省图图书
رقم الطلب	باركود	الحالة
TP273/860	30251575	متاح