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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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

Aún no valorado

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

Más del mismo editor