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 London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 17-Mar-2011 |
| ISBN-10: | 3642195822 |
| ISBN-13: | 9783642195822 |
| Binding Type: | Paperback |
| Weight: | 360 gms |
| 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.