Hardware and Software: Verification and Testing: Third

Hardware and Software: Verification and Testing: Third Inteational Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, .. / Programming and Software Engineering)

Hardcover: 267 pages

Publisher: Springer (February 1, 2008)

Language: English

ISBN-10: 3540779647