Logic-Based Program Synthesis and Transformation Lecture Notes in Computer Science, nr. 9527 Editat de Moreno Falaschi 17 dec 2015 Paperback Preț: 349.97 lei 437.46 lei 43-57 zile -20%