Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, ... / Programming and Software Engineering)

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, ... / Programming and Software Engineering)

by EyalBin (Editor), Avi Ziv (Editor), ShmuelUr (Editor)

Synopsis

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 are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.

$64.49

Quantity

10 in stock

More Information

Format: Paperback
Pages: 235
Publisher: Springer
Published: 09 Feb 2007

ISBN 10: 354070888X
ISBN 13: 9783540708889