Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings - Lecture Notes in Computer Science - - Livros - Springer Nature Switzerland AG - 9783030304454 - 2 de setembro de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 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

The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems.

550 pages, 89 Illustrations, color; 821 Illustrations, black and white; XVIII, 550 p. 910 illus., 89

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 2 de setembro de 2019
ISBN13 9783030304454
Editoras Springer Nature Switzerland AG
Páginas 550
Dimensões 150 × 220 × 10 mm   ·   860 g
Idioma Alemão  
Editor Olveczky, Peter Csaba
Editor Salaun, Gwen

Mais da mesma editora