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

Prices from
70.22

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
€ 70.22
To Shop
Amazon Marketplace Logo
€ 70.22
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,...

€ 58.52
More Information More Info

Springer

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

€ 254.82
Compare 2 stores 2 stores

Springer

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

€ 58.63
Compare 2 stores 2 stores

Springer

Theory of Cryptography: 23rd International Conference, TCC 2025, Aarhus, Denmark, December 15,...

€ 76.25
Compare 2 stores 2 stores
Featured Choice
€ 70.22
To Shop