Adapting Proofs-as-programs : The Curry--howard Protocol (Monographs in Computer Science)
  • 洋書

Adapting Proofs-as-programs : The Curry--howard Protocol (Monographs in Computer Science)  Paperback,  言語:ENG

Poernomo, Iman/ Crossley, John N./ Wirsing, Martin

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer(2010/02発売)
  • ポイント 324pt
  • 海外取次在庫