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

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

by Onn Shehory (Editor), João Louren?o (Editor), Kerstin Eder (Editor)

$49.88

Save:$2.85 (5%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 276
Edition: 2012
Publisher: Springer
Published: 09 Oct 2012

ISBN 10: 364234187X
ISBN 13: 9783642341878