Home » Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23 26, 2006, Revised ... Papers (Lecture Notes In Computer Science) by Eyal Bin
Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23 26, 2006, Revised ... Papers (Lecture Notes In Computer Science) Eyal Bin

Hardware And Software, Verification And Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23 26, 2006, Revised ... Papers (Lecture Notes In Computer Science)

Eyal Bin

Published February 9th 2007
ISBN : 9783540708889
Paperback
Enter the sum

 About the Book 

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures areMoreThis book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.