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)

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