Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... 4383 (Lecture Notes in Computer Science) - Tapa blanda

 
9783540708889: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... 4383 (Lecture Notes in Computer Science)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.