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