著者

出版社

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.

  • ウェブストア価格 ¥30,966(本体¥28,151)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 281pt
  • 海外取次在庫