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

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

Sharon Barner , Ian Harris , Daniel Kroening
No ratings yet
Apr 8, 2011 · English · Paperback (208 pages)
Add To Shelf

Rate this book

Export Book Journal

Book Details

Format Paperback
Pages 208
Language English
Published Apr 8, 2011
Publisher Springer
ISBN-10 3642195849
ISBN-13 9783642195846
Add To Shelf

Rate this book

Export Book Journal