
Conte aos seus amigos sobre este item:
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
Hana Chockler
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
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 22 de abril de 2009 |
ISBN13 | 9783642017018 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 215 |
Dimensões | 155 × 235 × 13 mm · 362 g |
Idioma | French |
Editor | Chockler, Hana |
Editor | Hu, Alan J. |
Mais por Hana Chockler
Ver tudo de Hana Chockler ( por exemplo Paperback Book e Hardcover Book )