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ț: 357.62 lei 447.03 lei 6-8 săpt. -20%