Fortæl dine venner om denne vare:
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
₩ 102.000
Bestilles fra fjernlager
Forventes klar til forsendelse 9. - 15. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 22. april 2009 |
| ISBN13 | 9783642017018 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 215 |
| Mål | 155 × 235 × 13 mm · 362 g |
| Sprog | Fransk |
| Klipper/redaktør | Chockler, Hana |
| Klipper/redaktør | Hu, Alan J. |