Pedro Lopez-Garcia

Pedro Lopez-Garcia

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13160

Editat de Pedro Lopez-Garcia et al.

17 mai 2023

Preț: 796^.20 lei 995^.25 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10184

Editat de Manuel V Hermenegildo et al.

25 iul 2017

Preț: 326^.94 lei 408^.67 lei

6-8 săpt.

-20%