Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA ... (Lecture Notes in Computer Science, 17144)

Precios a partir de
50,47

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA ... (Lecture Notes in Computer Science, 17144)

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

50,47 €

50,47 €

Descripción (0)

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA ... (Lecture Notes in Computer Science, 17144)

Especificaciones del producto

Marca Springer Nature Switzerland AG
EAN
  • 9783032401205

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering Collective Adaptive...

72,58 €
Comparar 2 tiendas 2 tiendas

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Validation Concurrent Distributed...

53,84 €
Comparar 2 tiendas 2 tiendas

Springer Nature Switzerland AG

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing...

53,84 €
Comparar 2 tiendas 2 tiendas

Springer

AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 2425, Proceedings:...

68,63 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
50,47 €
Ver oferta