Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)

by EyalBin (Editor), ShmuelUr (Editor), YaronWolfsthal (Editor)

• New

  Paperback
  2006

  $73.57

  This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005.