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

Prices from
34.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 34.99

£ 34.99

Description (0)

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


Product specifications

Brand Springer
EAN
  • 9783032401205

Featured Choice
£ 34.99
To Shop