Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part V - Lecture N - - Libros - Springer Nature Switzerland AG - 9783032401236 - 17 de octubre de 2026
En caso de que portada y título no coincidan, el título será el correcto

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part V - Lecture N

Precio
Mex$ 800
sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 17 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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 open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.

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

Más del mismo editor