Logic-Based Program Synthesis and Transformation Lecture Notes in Computer Science, nr. 11408 Editat de Fred Mesnard et al. 23 feb 2019 Paperback Preț: 318.27 lei 397.84 lei 43-57 zile -20%