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 (1)

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 (1)

Sortera efter:

781,73 kr

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

Quantitative Evaluation of Systems and Formal Modeling Analysis Timed Systems: Third International...

990,56 kr
Jämför 2 butiker 2 Butiker

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

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