Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語:ENG

Melham, T. F.

  • ウェブストア価格 ¥6,463(本体¥5,876)
  • Cambridge University Press(2009/07発売)
  • ポイント 58pt
  • 海外取次在庫