1～2件／全2件 セーフサーチON
  •  
Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Drăgoi, Cezara (EDT)/ Mukherjee, Suvam (EDT)/ Namjoshi, Kedar (EDT)

  • ウェブストア価格 ¥18,625（本体¥16,932）
  • Springer Nature Switzerland AG（2021/10発売）
  • ポイント 169pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January, Proceedings (Lecture Notes in Computer Science) 〈Vol. 3855〉
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January, Proceedings (Lecture Notes in Computer Science) 〈Vol. 3855〉  Paperback,  言語：ENG

Emerson, E. Allen (EDT)/ Namjoshi, Kedar S. (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer（2005/12発売）
  • ポイント 103pt
  • 海外取次在庫
1～2件／全2件
  •