Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Com
  • 洋書

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Com  Paperback,  言語:ENG

Isac, Omri (EDT)/ Ivanov, Radoslav (EDT)/ Katz, Guy (EDT)

  • ウェブストア価格 ¥14,485(本体¥13,169)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 131pt
  • 海外取次在庫