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öcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - 22 april 2009
Om omslag och titel inte matchar är det titeln som gäller

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
SEK 549

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 22 april 2009
ISBN13 9783642017018
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 215
Mått 155 × 235 × 13 mm   ·   362 g
Språk Franska  
Redaktör Chockler, Hana
Redaktör Hu, Alan J.

Fler produkter med Hana Chockler

Visa alla