Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Editat de Pedro Lopez-Garcia et al.
17 mai 2023
Paperback
Preț: 791.94 lei 989.93 lei
6-8 săpt.
-20%
Pedro Lopez-Garcia
Logic-Based Program Synthesis and Transformation
Editat de Manuel V Hermenegildo et al.
25 iul 2017
Paperback
Preț: 326.26 lei 407.83 lei
6-8 săpt.
-20%