.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Hardware and Software
. Ed(S): Barner, Sharon; Harris, Ian; Kroening, Daniel; Raz, Orna
€ 66.95
FREE Delivery in Ireland
Description for Hardware and Software
Paperback. Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in October 2010. This book includes 10 full papers together with 7 invited papers that address issues, challenges and future directions of verification for hardware, software, and hybrid systems. Editor(s): Barner, Sharon; Harris, Ian; Kroening, Daniel; Raz, Orna. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 207 pages, 38 black & white illustrations, 13 colour illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 326.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
207
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
197
Place of Publication
Berlin, Germany
ISBN
9783642195822
SKU
V9783642195822
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Hardware and Software