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,092(本体¥11,902)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 119pt
  • 海外取次在庫