嵌入式软件系统测试 基于形式化方法的自动化测试解决方案
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Έκδοση: |
机械工业出版社
|
省图图书
Ταξιθετικός Αριθμός | Ραβδοκώδικας | Κατάσταση |
---|---|---|
TP311.5/1530 | 30840128 | Στη βιβλιοθήκη |