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 - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - 22 kwietnia 2009
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 5 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 22 kwietnia 2009
ISBN13 9783642017018
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 215
Wymiary 155 × 235 × 13 mm   ·   362 g
Język Francuski  
Redaktor Chockler, Hana
Redaktor Hu, Alan J.

Więcej od Hana Chockler

Pokaż wszystko