10% de desconto

Software Engineering And Formal Methods

17th International Conference, Sefm 2019, Oslo, Norway, September 18–20, 2019, Proceedings

idioma: inglês
Editor: Springer Nature Switzerland AG, setembro de 2019 ‧
60,82€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Software Engineering And Formal Methods

17th International Conference, Sefm 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Propriedade Descrição
ISBN: 9783030304454
Editor: Springer Nature Switzerland AG
Data de Lançamento: setembro de 2019
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 550
Tipo de produto: Livro
Coleção: Lecture Notes In Computer Science
Classificação Temática: Livros em Inglês > Informática > Programação
EAN: 9783030304454

LIVROS DA MESMA COLEÇÃO