Verification, Model Checking, and Abstract Interpretation : 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings (L
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings (L  Paperback,  言語:ENG

Zuck, Lenore D./ Attie, Paul C. (EDT)/ Cortesi, Agostino (EDT)/ Mukhop

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