Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8244
Herausgegeben von Bertacco, Valeria
Legay, Axel
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2013年 10月
- ISBN：9783319030760
- 装丁：PAP
-
装丁について
- 版次：2013. 2013. xx