Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science - Armin Biere - Livros - Springer International Publishing AG - 9783319088662 - 4 de agosto de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Armin Biere

Preço
R$ 603,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 11 - 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

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

911 pages, 205 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de agosto de 2014
ISBN13 9783319088662
Editoras Springer International Publishing AG
Páginas 877
Dimensões 155 × 235 × 46 mm   ·   1,25 kg
Idioma German  
Editor Biere, Armin
Editor Bloem, Roderick
Mostrar tudo

Mais por Armin Biere

Ver tudo de Armin Biere ( por exemplo Paperback Book e Hardcover Book )