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ücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - 22. April 2009
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 22. April 2009
ISBN13 9783642017018
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 215
Maße 155 × 235 × 13 mm   ·   362 g
Sprache Französisch  
Redakteur Chockler, Hana
Redakteur Hu, Alan J.

Weitere Titel von Hana Chockler

Alle anzeigen