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

Hana Chockler

Preço
₩ 77.900
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 15 de set
Adicione à sua lista de desejos do iMusic

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

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 French  
Editor Chockler, Hana
Editor Hu, Alan J.

Mostrar tudo

Mais por Hana Chockler