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) (2025. xiii, 508 S. XIII, 508 p. 158 illus., 111 illus. in color. 235 m)
  • 洋書
  • ポイントキャンペーン

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) (2025. xiii, 508 S. XIII, 508 p. 158 illus., 111 illus. in color. 235 m)  Paperback,  言語:ENG

Herausgegeben:Prabhakar, Pavithra/ Vandin, Andrea

  • ウェブストア価格 ¥17,871(本体¥16,247)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 324pt
  • 海外取次在庫