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

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

  • ウェブストア価格 ¥21,962（本体¥19,966）
  • Springer Nature Switzerland AG（2021/01発売）
  • ポイント 199pt
  • 海外取次在庫
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,980（本体¥9,982）
  • Springer International Publishing AG（2022/08発売）
  • ポイント 99pt
  • 海外取次在庫
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,980（本体¥9,982）
  • Springer International Publishing AG（2022/08発売）
  • ポイント 99pt
  • 海外取次在庫
1～3件／全3件
  •