Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bogomolov, Sergiy (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 120pt
  • 海外取次在庫