Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science - 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 - Lecture Notes in Computer Science 2013 edition

Armin Biere

Preço
Ft 18.305

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 20 - 28 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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 - Lecture Notes in Computer Science 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 )