Interactive Theorem Proving and Program Development Texts in Theoretical Computer Science. An EATCS Series Autor Yves Bertot et al. 15 dec 2010 Paperback Preț: 520.75 lei 612.64 lei 6-8 săpt. -15%
