Interactive Theorem Proving and Program Development Texts in Theoretical Computer Science. An EATCS Series Autor Yves Bertot et al. 14 mai 2004 Hardback Preț: 823.20 lei 1003.91 lei 6-8 săpt. -18%
