Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Jansen, David N. (EDT)/ Prabhakar, Pavithra (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2018/08発売)
  • ポイント 103pt
  • 海外取次在庫
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Gribaudo, Marco (EDT)/ Jansen, David N. (EDT)/ Remke, Anne (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 103pt
  • 海外取次在庫