Quantitative Evaluation of Systems and Formal Modeling Analysis Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 2628, Proceedings

Prices from
69.38

Featured

COMPARE ALL WEBSHOPS (2)

Description

Quantitative Evaluation of Systems and Formal Modeling Analysis Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 2628, Proceedings

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

Compare webshops (2)

Shop
Price
Amazon Logo
€ 69.38
To Shop
Amazon Marketplace Logo
€ 69.38
To Shop
Description (0)

Quantitative Evaluation of Systems and Formal Modeling Analysis Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 2628, Proceedings

Product specifications

Brand Springer
EAN
  • 9783032057914
MPN
  • Refer to Sapnet.

Springer

Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus,...

€ 57.80
Compare 2 stores 2 stores

Springer

Proceedings of the Second International Conference on Mechatronics, Robotics and Control Systems:...

€ 270.38
More Information More Info

Springer

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, Certification: 6th...

€ 57.60
Compare 2 stores 2 stores

Springer

Proceedings of the Second International Conference on Advanced Computing and Systems: AdComSys 2025

€ 254.82
Compare 2 stores 2 stores
Featured Choice
€ 69.38
To Shop