著者

出版社

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.

  • ウェブストア価格 ¥29,114(本体¥26,468)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 264pt
  • 海外取次在庫