Logic-Based Program Synthesis and Transformation Lecture Notes in Computer Science, nr. 10184 Editat de Manuel V Hermenegildo et al. 25 iul 2017 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -20%