Hardware and Software Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
by S. Barner, I. Harris, D. Kroening
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
Publisher: | Springer |
Published In: | 17-Mar-2011 |
ISBN-10: | 3642195822 |
ISBN-13: | 9783642195822 |
Binding Type: | Paperback |
Weight: | 0.79 lbs |
Pages: | pp. 208, 51 Illus. (13 Col.) |
The Title "Hardware and Software : Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers" is written by S. Barner. This book was published in the year 2011. The ISBN number 3642195822|9783642195822 is assigned to the Paperback version of this title. This book has total of pp. x + 197 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Hardware and Software : Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers is currently Available with us.