Automated Reasoning Lecture Notes in Computer Science, nr. 8562 Editat de Stéphane Demri et al. 4 aug 2014 Paperback Preț: 335.26 lei 419.08 lei 6-8 săpt. -20%