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

Spremljeno u:
Bibliografski detalji
Glavni autor: 殷永峰 (编著)
Daljnji autori: 姜博 (编著)
Izdano: 机械工业出版社

省图图书

Detalji primjeraka od 省图图书
Signatura Barkod Status
TP311.5/1530 30840128 Dostupno