1～3件／全3件 セーフサーチON
  •  
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Henglein, Fritz (EDT)/ Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥21,399（本体¥19,454）
  • Springer Nature Switzerland AG（2021/01発売）
  • ポイント 194pt
  • 海外取次在庫
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥10,698（本体¥9,726）
  • Springer International Publishing AG（2022/08発売）
  • ポイント 97pt
  • 海外取次在庫
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥10,698（本体¥9,726）
  • Springer International Publishing AG（2022/08発売）
  • ポイント 97pt
  • 海外取次在庫
1～3件／全3件
  •