Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III - Lecture Notes in Computer Scie - - Libros - Springer Nature Switzerland AG - 9783032401175 - 23 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. Bridging Gaps between Software and System Contracts: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III - Lecture Notes in Computer Scie

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
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 23 de octubre de 2026
ISBN13 9783032401175
Editores Springer Nature Switzerland AG
Páginas 337
Dimensiones 150 × 220 × 10 mm   ·   489 g
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Más del mismo editor