Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner , Ian Harris , Daniel Kroening
Brak ocen
Apr 8, 2011 · Angielski · Miękka okładka (208 strony)
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki

Szczegóły książki

Format Miękka okładka
Strony 208
Język Angielski
Opublikowany Apr 8, 2011
Wydawca Springer
ISBN-10 3642195849
ISBN-13 9783642195846
Dodaj do półki

Oceń tę książkę

Eksportuj Dziennik Książki