Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Bertrand, Nathalie (EDT)/ Jansen, Nils (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 110pt
  • 海外取次在庫
Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Jansen, Nils (EDT)/ Tribastone, Mirco (EDT)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。