Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I - Lecture Notes in Computer Scienc -  - Libros - Springer Nature Switzerland AG - 9783032401076 - 8 de noviembre 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. Rigorous Engineering of Collective Adaptive Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I - Lecture Notes in Computer Scienc

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
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 8 de noviembre de 2026
ISBN13 9783032401076
Editores Springer Nature Switzerland AG
Páginas 472
Dimensiones 150 × 220 × 10 mm   ·   675 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Más del mismo editor