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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2005/12発売)
  • ポイント 545pt
  • 海外取次在庫
Visual Information and Information Systems : 8th International Conference, VISUAL 2005, The Netherlands, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 3736〉
  • 洋書
  • ポイントキャンペーン

Visual Information and Information Systems : 8th International Conference, VISUAL 2005, The Netherlands, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 3736〉  Paperback,  言語:ENG

Bres, Stphane (EDT)/ Emerson, E. Allen (EDT)/ Laurini, Robert (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2006/01発売)
  • ポイント 545pt
  • 海外取次在庫