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 - Lecture Notes in Computer Science 1st ed. 2015 edition
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Lecture Notes in Computer Science 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 |
Presentes de Natal podem ser trocados até 31 de janeiro