嵌入式软件系统测试 基于形式化方法的自动化测试解决方案

Gorde:
Xehetasun bibliografikoak
Egile nagusia: 殷永峰 (编著)
Beste egile batzuk: 姜博 (编著)
Argitaratua: 机械工业出版社

省图图书

Aleari buruzko argibideak 省图图书
Sailkapena Barra-kodea Egoera
TP311.5/1530 30840128 Eskuragarri