Conte aos seus amigos sobre este item:
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering 2007 edition
Eyal Bin
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Programming and Software Engineering 2007 edition
Eyal Bin
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.
252 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 9 de fevereiro de 2007 |
ISBN13 | 9783540708889 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 235 |
Dimensões | 155 × 235 × 13 mm · 394 g |
Idioma | German |
Editor | Bin, Eyal |
Editor | Ur, Shmuel |
Editor | Ziv, Avi |
Ver tudo de Eyal Bin ( por exemplo Paperback Book )