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

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

Saved in:

Bibliographic Details
Main Author:	格涅斯 (著)
Other Authors:	玛格丽特 (著)
Published:	机械工业出版社

Holdings

省图图书

Holdings details from 省图图书
Call Number	Barcode	Status
TP273/860	30251575	Available