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ț: 637.57 lei 796.96 lei 6-8 săpt. -20%
