Interactive Theorem Proving and Program Development Autor Yves Bertot et al. 15 dec 2010 Paperback Preț: 517.52 lei 608.84 lei 6-8 săpt. -15%
Theorem Proving in Higher Order Logics Editat de Yves Bertot et al. sep 1999 Paperback Preț: 379.35 lei 6-8 săpt.