Hardware and Software: Verification and Testing. 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
von
Avi Ziv,Kedar Namjoshi Andreas Zeller
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-19238-8
ISBN-10: 3-642-19238-6
Springer
· 2011
