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 43-57 zile -20%