Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. Read More

The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. Read Less

• All from $16.50
• New Books from $60.65
• Used Books from $89.29
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jun 24, 2025) 60 Day Rental: $22.00 (Expires Jul 24, 2025) 90 Day Rental: $27.50 (Expires Aug 23, 2025) 120 Day Rental: $33.00 (Expires Sep 22, 2025) 180 Day Rental: $35.75 (Expires Nov 21, 2025) Buy eBook Lifetime Access: $54.99 Title: Hardware and Software: Verification and Testing by Sharon Barner; Âian Harris; Âdaniel Kroening Publisher: Springer Nature Print ISBN: 9783642195822, 3642195822 eText ISBN: 9783642195839 Edition: 2011 1st edition Format: PDF eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ