Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Principles and Practices of Building Parallel Software : Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday (Lecture Notes in Computer Science)  Paperback

Barik, Rajkishore (EDT)/ Gupta, Rajiv (EDT)/ Palsberg, Jens (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 199pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dillig, Isil (EDT)/ Palsberg, Jens (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2018/01発売)
  • ポイント 109pt
  • 海外取次在庫