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,331（本体¥11,210）
  • Springer Nature Switzerland AG（2022/02発売）
  • ポイント 560pt
  • 海外取次在庫
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,470（本体¥15,882）
  • Springer International Publishing AG（2024/01発売）
  • ポイント 790pt
  • 海外取次在庫
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,470（本体¥15,882）
  • Springer International Publishing AG（2024/01発売）
  • ポイント 790pt
  • 海外取次在庫
1～3件／全3件
  •