Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science) 〈Vol. 4349〉
  • 洋書
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science) 〈Vol. 4349〉  Paperback,  言語:ENG

Cook, Byron (EDT)/ Podelsky, Andreas (EDT)

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