Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... Notes in Computer Science, Band 7261)

von: Kerstin Eder · João Lourenҫo · Onn Shehory Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-34187-8 ISBN-10: 3-642-34187-X Springer · 2012