
Conte aos seus amigos sobre este item:
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Programming and Software Engineering 1st ed. 2015 edition
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Programming and Software Engineering 1st ed. 2015 edition
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.
293 pages, 88 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 27 de outubro de 2015 |
ISBN13 | 9783319262864 |
Editoras | Springer International Publishing AG |
Páginas | 293 |
Dimensões | 155 × 235 × 17 mm · 4,75 kg |
Idioma | French |
Editor | Piterman, Nir |