Product Description
ISBN: 9783540779643
TITLE: Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings : 4899
AUTHOR: Karen Yorav
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 1 Feb 2008

