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)
  • 洋書

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)  Paperback,  言語:ENG

Prabhakar, Pavithra (EDT)/ Vandin, Andrea (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 149pt
  • 海外取次在庫