1 电子书 Joao LourenÒ«o
Kerstin Eder & Joao Louren?o: Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full …
PDF
英语
DRM
€54.02
