Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031197611 - 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. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV - Lecture Notes in Computer Science 1st ed. 2022 edition

Precio
$ 70,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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;

424 pages, 98 Illustrations, color; 28 Illustrations, black and white; XIII, 424 p. 126 illus., 98 i

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de octubre de 2022
ISBN13 9783031197611
Editores Springer International Publishing AG
Páginas 424
Dimensiones 155 × 233 × 25 mm   ·   664 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Mere med samme udgiver