Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783030324407 - 16 de outubro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 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 7 - 13 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 Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions.

245 pages, 53 Illustrations, color; 492 Illustrations, black and white; XVI, 245 p. 545 illus., 53 i

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 16 de outubro de 2019
ISBN13 9783030324407
Editoras Springer Nature Switzerland AG
Páginas 245
Dimensões 150 × 220 × 10 mm   ·   454 g
Idioma Alemão  
Editor Dongol, Brijesh
Editor Petre, Luigia
Editor Smith, Graeme

Mais da mesma editora