Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Concurrency Verification : Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語:ENG

Roever, Willem-Paul de/ Boer, Frank de/ Hanneman, Ulrich

  • ウェブストア価格 ¥20,071(本体¥18,247)
  • Cambridge University Press(2012/01発売)
  • ポイント 182pt
  • 海外取次在庫