Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Petrucci, Laure (EDT)/ Sproston, Jeremy (EDT)

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