Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu - Christel Baier - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - 8 de abril de 2015
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: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

Christel Baier

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 7 - 17 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

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

725 pages, 210 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de abril de 2015
ISBN13 9783662466803
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 725
Dimensões 155 × 235 × 38 mm   ·   1,03 kg
Idioma French  
Editor Baier, Christel
Editor Tinelli, Cesare
Mostrar tudo

Mais por Christel Baier

Ver tudo de Christel Baier ( por exemplo Paperback Book e Hardcover Book )