Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Lecture Notes in Computer Science - Elena Giachino - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642406140 - 26 de agosto de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Elena Giachino
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Lecture Notes in Computer Science 2013 edition

Preço
R$ 274,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Elena Giachino

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

Ainda não avaliado

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

250 pages, 125 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de agosto de 2013
ISBN13 9783642406140
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 241
Dimensões 155 × 235 × 13 mm   ·   358 g
Idioma Francês  
Editor Bonsangue, Marcello M.
Editor De Boer, Frank S.
Editor Giachino, Elena
Editor Hahnle, Reiner

Mais da mesma editora

Ver tudo de Elena Giachino