Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering - Hana Chockler - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - April 22, 2009
In case cover and title do not match, the title is correct

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering 2009 edition

Price
SEK 529
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 11 - 23
Christmas presents can be returned until 31 January
Add to your iMusic wish list

After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.


227 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 22, 2009
ISBN13 9783642017018
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 215
Dimensions 155 × 235 × 13 mm   ·   362 g
Language French  
Editor Chockler, Hana
Editor Hu, Alan J.

Show all

More by Hana Chockler