1～3件／全3件 セーフサーチON
  •  
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,633（本体¥12,394）
  • Springer International Publishing AG（2024/08発売）
  • ポイント 123pt
  • 海外取次在庫
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,829（本体¥16,209）
  • Springer International Publishing AG（2023/08発売）
  • ポイント 162pt
  • 海外取次在庫
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Collart-Dutilleul, Simon (EDT)/ Haxthausen, Anne E. (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥15,348（本体¥13,953）
  • Springer International Publishing AG（2022/05発売）
  • ポイント 139pt
  • 海外からお取り寄せ（通常6～9週間）
1～3件／全3件
  •