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

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