Logic-Based Program Synthesis and Transformation Lecture Notes in Computer Science, nr. 14330 Editat de Robert Glück et al. 16 oct 2023 Paperback Preț: 345.71 lei 432.13 lei 6-8 săpt. -20%