1～3件／全3件 セーフサーチON
  •  
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,585（本体¥11,441）
  • Springer Nature Switzerland AG（2022/02発売）
  • ポイント 114pt
  • 海外取次在庫
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,986（本体¥9,988）
  • Association of Computing Machinery,U.S.（2024/10発売）
  • ポイント 99pt
  • オンデマンド(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,986（本体¥13,624）
  • Association of Computing Machinery,U.S.（2024/10発売）
  • ポイント 136pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •