Logic-Based Program Synthesis and Transformation Lecture Notes in Computer Science, nr. 13290 Editat de Emanuele de Angelis et al. 13 mar 2022 Paperback Preț: 343.89 lei 429.86 lei 6-8 săpt. -20%