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

by Orna Raz, Ian Harris, Daniel Kroening

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642195822
• ISBN13: 9783642195822
• Release Date: March 2011
• Publisher: Springer
• Length: 197 Pages
• Weight: 0.66 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"