Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031197581 - 20 de octubre de 2022
En caso de que portada y título no coincidan, el título será el correcto

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - Lecture Notes in Computer Science 1st ed. 2022 edition

Precio
$ 76,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;

474 pages, 61 Illustrations, color; 54 Illustrations, black and white; XIII, 474 p. 115 illus., 61 i

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de octubre de 2022
ISBN13 9783031197581
Editores Springer International Publishing AG
Páginas 474
Dimensiones 156 × 234 × 28 mm   ·   734 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Mere med samme udgiver