Principles of Formal Quantitative Analysis : Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Principles of Formal Quantitative Analysis : Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science)  Paperback

Bertrand, Nathalie (EDT)/ Dubslaff, Clemens (EDT)/ Klüppelholz, Sascha (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 160pt
  • 海外取次在庫
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
  • 海外取次在庫