Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783030324087 - 6 de outubro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings - Lecture Notes in Computer Science 1st ed. 2019 edition

Preço
R$ 296,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 the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

528 pages, 73 Illustrations, color; 418 Illustrations, black and white; XXI, 528 p. 491 illus., 73 i

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de outubro de 2019
ISBN13 9783030324087
Editoras Springer Nature Switzerland AG
Páginas 528
Dimensões 150 × 220 × 10 mm   ·   836 g
Idioma Alemão  
Editor Ait-Ameur, Yamine
Editor Qin, Shengchao

Mais da mesma editora