Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009, Proceed
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009, Proceed  Paperback,  言語:ENG

Jones, Neil D. (EDT)/ Muller-Olm, Markus (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Verlag(2009/01発売)
  • ポイント 104pt
  • 海外取次在庫
Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science)
  • 洋書

Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Muller-Olm, Markus

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Verlag(1997/09発売)
  • ポイント 104pt
  • 海外取次在庫