Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Huisman, Marieke (EDT)/ Howar, Falk (EDT)

  • ウェブストア価格 ¥28,974(本体¥26,340)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 263pt
  • 海外取次在庫
Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Howar, Falk (EDT)/ Barnat, Jiří (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2018/08発売)
  • ポイント 103pt
  • 海外取次在庫