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 - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - 22. april 2009
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
Íkr 7.049

Bestillingsvarer

Forventes levert 10. - 18. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 22. april 2009
ISBN13 9783642017018
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 215
Mål 155 × 235 × 13 mm   ·   362 g
Språk Fransk  
Redaktør Chockler, Hana
Redaktør Hu, Alan J.

Vis alle

Mer med Hana Chockler