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

490 pages, 83 Illustrations, color; 757 Illustrations, black and white; XV, 490 p. 840 illus., 83 il

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

Mere med samme udgiver