.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Hardware and Software
. Ed(S): Eder, Kerstin; Lourenco, Joao; Shehory, Onn
€ 85.74
FREE Delivery in Ireland
Description for Hardware and Software
paperback. Editor(s): Eder, Kerstin; Lourenco, Joao; Shehory, Onn. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, 95 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
275
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
263
Place of Publication
Berlin, Germany
ISBN
9783642341878
SKU
V9783642341878
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Hardware and Software