Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series Autor Yves Bertot et al. 14 mai 2004 Hardback Preț: 685.59 lei 806.58 lei 6-8 săpt. -15%
