Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th - Javier Esparza - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642120015 - 17 de março de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th

Javier Esparza

Preço
HK$ 463,22

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 22 de ago - 1 de set

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

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th

Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

464 pages, 102 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 17 de março de 2010
ISBN13 9783642120015
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 468
Dimensões 155 × 234 × 25 mm   ·   725 g
Idioma German  
Editor Esparza, Javier
Editor Majumdar, Rupak
Mostrar tudo

Mais por Javier Esparza

Ver tudo de Javier Esparza ( por exemplo Paperback Book e Hardcover Book )