Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering - Hana Chockler - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642017018 - 22 de abril de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering 2009 edition

Preço
R 1.017,60

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.


227 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de abril de 2009
ISBN13 9783642017018
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 215
Dimensões 155 × 235 × 13 mm   ·   362 g
Idioma Francês  
Editor Chockler, Hana
Editor Hu, Alan J.

Mostrar tudo

Mais por Hana Chockler