Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Programming and Software Engineering - Armin Biere - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642396106 - 19 de julho de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Programming and Software Engineering 2013 edition

Armin Biere

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de out - 3 de nov

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Programming and Software Engineering 2013 edition

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

293 pages, 75 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de julho de 2013
ISBN13 9783642396106
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 281
Dimensões 155 × 235 × 15 mm   ·   417 g
Idioma French  
Editor Biere, Armin
Editor Nahir, Amir
Editor Vos, Tanja
Mostrar tudo

Mais por Armin Biere

Ver tudo de Armin Biere ( por exemplo Paperback Book e Hardcover Book )