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

Priser från
781,73

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings: 16143
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
781,73 kr
Til butik
Amazon Marketplace Logga
781,73 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Springer
EAN
  • 9783032057914

Springer

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

682,27 kr
Jämför 2 butiker 2 Butiker

Springer

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

682,27 kr
Jämför 2 butiker 2 Butiker

Springer

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

4.403,42 kr
Jämför 2 butiker 2 Butiker

Springer

Verification and Evaluation of Computer Communication Systems: 18th International Conference, VECoS 2025,...

1.063,94 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
781,73 kr
Til butik