Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA ... 2428, 2026, Proceedings, Part IV: 17144

Priser från
489,95

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA ... 2428, 2026, Proceedings, Part IV: 17144

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

489,95 kr

489,95 kr

Beskrivning (0)

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA ... 2428, 2026, Proceedings, Part IV: 17144


Produktspecifikationer

Märke Springer
EAN
  • 9783032401205

Utvalt Val
489,95 kr
Til butik