Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II - Lecture Notes - - Libros - Springer Nature Switzerland AG - 9783030614690 - 27 de octubre de 2020
En caso de que portada y título no coincidan, el título será el correcto

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II - Lecture Notes 1st ed. 2020 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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 three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.

544 pages, 658 Illustrations, color; 133 Illustrations, black and white; XV, 544 p. 791 illus., 658

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de octubre de 2020
ISBN13 9783030614690
Editores Springer Nature Switzerland AG
Páginas 544
Dimensiones 150 × 220 × 10 mm   ·   848 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Mere med samme udgiver