Logic-Based Program Synthesis and Transformation Lecture Notes in Computer Science, nr. 11408 Editat de Fred Mesnard et al. 23 feb 2019 Paperback Preț: 330.98 lei 413.72 lei 6-8 săpt. -20%