Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... October 2428, 2026, Proceedings, Part II

Prices from
50.97

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... October 2428, 2026, Proceedings, Part II

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

€ 50.97

€ 50.97

Description (0)

Leveraging Applications of Formal Methods, Verification and Validation. Methods for Distributed Computing in Future Railway Systems: 13th ... October 2428, 2026, Proceedings, Part II

Product specifications

Brand Springer
EAN
  • 9783032401106

Springer

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

€ 51.34
Compare 2 stores 2 stores

Springer

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

€ 51.53
Compare 2 stores 2 stores

Springer

Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software...

€ 44.81
Compare 2 stores 2 stores

Springer

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI:...

€ 51.34
Compare 2 stores 2 stores
Featured Choice
€ 50.97
To Shop