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 (Lecture Notes in Computer Science 16143)
  • 洋書

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 (Lecture Notes in Computer Science 16143)

Herausgegeben:Prabhakar, Pavithra/Vandin, Andrea

  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ご注文いただけません