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

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

Zapisane w:

Opis bibliograficzny
1. autor:	格涅斯 (著)
Kolejni autorzy:	玛格丽特 (著)
Wydane:	机械工业出版社

Egzemplarz

省图图书

Szczegóły zapisu 省图图书
Sygnatura	Kod kreskowy	Status
TP273/860	30251575	Dostępne