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,365(本体¥14,878)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 740pt
  • 海外取次在庫