Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Lecture Notes in Computer Science - - Livros - Springer International Publishing AG - 9783319294728 - 3 de fevereiro de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Preço
R$ 241,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

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 selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;

195 pages, 62 colour illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de fevereiro de 2016
ISBN13 9783319294728
Editoras Springer International Publishing AG
Páginas 195
Dimensões 191 × 233 × 154 mm   ·   338 g
Idioma Alemão  
Editor Cornelio, Marcio
Editor Roscoe, Bill

Mais da mesma editora