Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Lecture Notes in Computer Science - Marco Bernardo - Livros - Birkhauser Verlag AG - 9783319189406 - 19 de maio de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Marco Bernardo
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Lecture Notes in Computer Science 2015 edition

Preço
HK$ 439,90

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 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 presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.

211 pages, 72 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de maio de 2015
ISBN13 9783319189406
Editoras Birkhauser Verlag AG
Páginas 211
Dimensões 155 × 235 × 12 mm   ·   3,40 kg
Idioma Francês  
Editor Bernardo, Marco
Editor Johnsen, Einar Broch
Mostrar tudo

Mais por Marco Bernardo

Ver tudo de Marco Bernardo ( por exemplo Paperback Book , CD e Book )