Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... Notes in Computer Science, Band 6504)

von: Sharon Barner · Ian Harris · Daniel Kroening · Orna Raz Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-19582-2 ISBN-10: 3-642-19582-2 Springer · 2011