The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software Research Reports Esprit, nr. 1 Editat de Armand Puccetti et al. 24 iul 1991 Paperback Preț: 639.78 lei 799.72 lei 6-8 săpt. -20%
