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

Precio
$ 76,49
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;

427 pages, 68 Illustrations, color; 72 Illustrations, black and white; XIII, 427 p. 140 illus., 68 i

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de octubre de 2022
ISBN13 9783031197550
Editores Springer International Publishing AG
Páginas 427
Dimensiones 150 × 220 × 10 mm   ·   676 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Mere med samme udgiver