Freunden von diesem Artikel berichten:
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
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
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
| 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 anzeigenAlle Titel von Hana Chockler ansehen ( u. a. Taschenbuch und Gebundenes Buch )