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,175(本体¥11,978)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 119pt
  • 海外取次在庫
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,231(本体¥15,665)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 156pt
  • 海外取次在庫