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

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

Сохранить в:
Библиографические подробности
Главный автор: 格涅斯 (著)
Другие авторы: 玛格丽特 (著)
Опубликовано: 机械工业出版社

省图图书

Подробно о фондах из 省图图书
Шифр 条码号 Статус
TP273/860 30251575 Доступно

Схожие документы