Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Haxthausen, Anne E. (EDT)/ Serwe, Wendelin (EDT)

  • ウェブストア価格 ¥13,450(本体¥12,228)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 122pt
  • 海外取次在庫
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
  • 洋書

Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)  Paperback

Haxthausen, Anne E. (EDT)/ Huang, Wen-ling (EDT)/ Roggenbach, Markus (EDT)

  • ウェブストア価格 ¥17,590(本体¥15,991)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 159pt
  • 海外取次在庫