Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030304454 - 2 de septiembre de 2019
En caso de que portada y título no coincidan, el título será el correcto

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de septiembre de 2019
ISBN13 9783030304454
Editores Springer Nature Switzerland AG
Páginas 550
Dimensiones 150 × 220 × 10 mm   ·   860 g
Lengua Alemán  
Editor Olveczky, Peter Csaba
Editor Salaun, Gwen

Mere med samme udgiver