Hardware and Software: Verification and Testing: 5th

Hardware and Software: Verification and Testing: 5th Inteational Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, .. / Programming and Software Engineering)

Hardcover: 169 pages

Publisher: Springer (February 10, 2011)

Language: English

ISBN-10: 364219236X