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,097(本体¥13,725)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 137pt
  • 海外からお取り寄せ(通常6~9週間)
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)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 130pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 170pt
  • 海外取次在庫
Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) (2026. Approx. 700 p. 235 mm)
  • 洋書
  • 予約

Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) (2026. Approx. 700 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:ter Beek, Maurice H./ Gnesi, Stefania/ Haxthausen, Anne E./ Semini, Laura

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER(2026/06発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送