1～3件／全3件 セーフサーチON
  •  
Formal Methods for Safe Autonomy : Data-driven Verification, Synthesis, and Applications
  • 洋書

Formal Methods for Safe Autonomy : Data-driven Verification, Synthesis, and Applications  Paperback,  言語：ENG

Fan, Chuchu

  • ウェブストア価格 ¥10,839（本体¥9,854）
  • Association of Computing Machinery,U.S.（2024/10発売）
  • ポイント 98pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Safe Autonomy : Data-driven Verification, Synthesis, and Applications
  • 洋書

Formal Methods for Safe Autonomy : Data-driven Verification, Synthesis, and Applications  Hardcover,  言語：ENG

Fan, Chuchu

  • ウェブストア価格 ¥14,785（本体¥13,441）
  • Association of Computing Machinery,U.S.（2024/10発売）
  • ポイント 134pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Bloem, Roderick (EDT)/ Dimitrova, Rayna (EDT)/ Fan, Chuchu (EDT)

  • ウェブストア価格 ¥12,415（本体¥11,287）
  • Springer Nature Switzerland AG（2022/02発売）
  • ポイント 112pt
  • 海外取次在庫
1～3件／全3件
  •