著者

出版社

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science, An EATCS Series) (2004. 500 p.)
  • 洋書

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science, An EATCS Series) (2004. 500 p.)  Hardcover

Bertot, Yves/ Casteran, P.

  • ウェブストア価格 ¥31,134(本体¥28,304)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 283pt
  • 海外取次在庫