Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Yves Bertot, Pierre Castéran
Springer
2004
504 páginas
16h 48m
ISBN-10: 3540208542
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%