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)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 143pt
  • 海外からお取り寄せ(通常6~9週間)