Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I - Lecture Notes - - Libros - Springer Nature Switzerland AG - 9783030613617 - 29 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: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I - 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.

582 pages, 110 Illustrations, color; 2317 Illustrations, black and white; XXIII, 582 p. 2427 illus.,

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

Más del mismo editor