Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatc
  • 洋書
  • ポイントキャンペーン

Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions (Texts in Theoretical Computer Science. an Eatc  Paperback,  言語:ENG

Bertot, Yves/ Casteran, Pierre/ Huet, G. (FRW)/ Paulin-mohring, C. (FR

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer(2010/12発売)
  • ポイント 352pt
  • 海外取次在庫