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

Quantitative Evaluation of Systems and Formal Modeling Analysis Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 2628, 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 (0)

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

Produktspecifikationer

Märke Springer
EAN
  • 9783032057914

Springer

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

682,27 kr
Mer information Mer info

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.389,78 kr
Jämför 2 butiker 2 Butiker

Springer

Proceedings of International Conference on Image, Vision and Intelligent Systems 2025 (ICIVIS 2025): 1536

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