Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008. The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selec...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Chockler, Hana. (Editor), Hu, Alan J. (Editor)
Format: SpringerLink eBooks
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Series:Lecture Notes in Computer Science, 5394
Online Access:http://dx.doi.org/10.1007/978-3-642-01702-5



3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available