Tipsa dina vänner om produkten:
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 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
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
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 allaSe alt med Hana Chockler ( t.ex. Pocketbok och Inbunden Bok )