.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Hardware and Software, Verification and Testing
. Ed(S): Bin, Eyal; Ziv, Avi; Ur, Shmuel
€ 69.18
FREE Delivery in Ireland
Description for Hardware and Software, Verification and Testing
Paperback. Constitutes the refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. This book presents 15 revised full papers together with 2 invited lectures that were reviewed and selected from 33 submissions. Editor(s): Bin, Eyal; Ziv, Avi; Ur, Shmuel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 247 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 359.
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together researchers from two different disciplines, hardware verification and software testing. The use of similar techniques among the two communities enabled the conference to help generate a unique synergy that fortifies both groups. This year, we had two traditional tracks, hardware verification and software testing, in ... Read more
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together researchers from two different disciplines, hardware verification and software testing. The use of similar techniques among the two communities enabled the conference to help generate a unique synergy that fortifies both groups. This year, we had two traditional tracks, hardware verification and software testing, in ... Read more
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
247
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
235
Place of Publication
Berlin, Germany
ISBN
9783540708889
SKU
V9783540708889
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Hardware and Software, Verification and Testing