FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Livros - Springer International Publishing AG - 9783319192482 - 2 de junho de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Nikolaj Bjorner
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science 2015 edition

Preço
NZ$ 97,50
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 18 - 29 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 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

610 pages, 156 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 2 de junho de 2015
ISBN13 9783319192482
Editoras Springer International Publishing AG
Páginas 610
Dimensões 155 × 235 × 32 mm   ·   9,36 kg
Idioma Francês  
Editor Bjørner, Nikolaj
Editor De Boer, Frank
Mostrar tudo

Mais por Nikolaj Bjorner

Ver tudo de Nikolaj Bjorner ( por exemplo Paperback Book )