Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers eBook

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 1st Edition is written by Kerstin Eder; ‎João Lourenҫo; ‎Onn Shehory and published by Springer. The Digital and eTextbook ISBNs for Hardware and Software: Verification and Testing are 9783642341885, 3642341888 and the print ISBNs are 9783642341878, 364234187X. Save up to 80% versus print by going digital with VitalSource.