.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Hardware and Software
Chockler
€ 66.95
FREE Delivery in Ireland
Description for Hardware and Software
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, biography. BIC Classification: UB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 355.
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software systems. This year’s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 ... Read more
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software systems. This year’s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 ... Read more
Product Details
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
227
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
215
Place of Publication
Berlin, Germany
ISBN
9783642017018
SKU
V9783642017018
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Hardware and Software