Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
Texts in Theoretical Computer Science. An EATCS Series
Bertot, Yves
Casteran, Pierre
Huet, G. (FRW)
- 出版社：Springer
- 出版年月：2010年 12月
- ISBN：9783642058806
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：494 p.
- DDC分類：005