Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783030309411 - 15 de setembro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Lecture Notes in Computer Science 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 refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.

774 pages, 92 Illustrations, color; 1596 Illustrations, black and white; XXI, 774 p. 1688 illus., 92

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de setembro de 2019
ISBN13 9783030309411
Editoras Springer Nature Switzerland AG
Páginas 774
Dimensões 150 × 220 × 10 mm   ·   1,20 kg
Idioma Alemão  
Editor McIver, Annabelle
Editor Oliveira, Jose N.
Editor Ter Beek, Maurice H.

Mais da mesma editora