Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... Notes in Computer Science, Band 6405)

von: Kedar Namjoshi · Andreas Zeller · Avi Ziv Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-19236-4 ISBN-10: 3-642-19236-X Springer · 2011