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,247（本体¥11,134）
  • Springer Nature Switzerland AG（2022/02発売）
  • ポイント 111pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,351（本体¥15,774）
  • Springer International Publishing AG（2024/01発売）
  • ポイント 157pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Dimitrova, Rayna (EDT)/ Lahav, Ori (EDT)/ Wolff, Sebastian (EDT)

  • ウェブストア価格 ¥17,351（本体¥15,774）
  • Springer International Publishing AG（2024/01発売）
  • ポイント 157pt
  • 海外取次在庫
1～3件／全3件
  •