Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV - Lecture Notes in Co - - Libros - Springer Nature Switzerland AG - 9783030837228 - 5 de agosto de 2021
En caso de que portada y título no coincidan, el título será el correcto

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV - Lecture Notes in Co 1st ed. 2021 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 four-volume set LNCS 12476 - 12479 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.

265 pages, 72 Illustrations, color; 17 Illustrations, black and white; XII, 265 p. 89 illus., 72 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de agosto de 2021
ISBN13 9783030837228
Editores Springer Nature Switzerland AG
Páginas 265
Dimensiones 150 × 220 × 10 mm   ·   433 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Más del mismo editor