Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science - Gilles Dowek - Livros - Springer International Publishing AG - 9783319089171 - 15 de julho de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Gilles Dowek

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Preço
R$ 306,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 27 de nov - 3 de dez
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

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

513 pages, 58 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de julho de 2014
ISBN13 9783319089171
Editoras Springer International Publishing AG
Páginas 491
Dimensões 155 × 235 × 26 mm   ·   7,72 kg
Idioma Francês  
Editor Dowek, Gilles
Mostrar tudo

Mais por Gilles Dowek

Ver tudo de Gilles Dowek ( por exemplo Paperback Book )