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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - keskiviikko 22. huhtikuuta 2009
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hana Chockler

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus to - pe 18. - 26. syys
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 22. huhtikuuta 2009
ISBN13 9783642017018
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 215
Mitta 155 × 235 × 13 mm   ·   362 g
Kieli French  
Toimittaja Chockler, Hana
Toimittaja Hu, Alan J.

Näytä kaikki

Lisää tuotteita Hana Chockler