Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Editat de Manuel V Hermenegildo et al.
25 iul 2017
Paperback
Preț: 330.90 lei 413.63 lei
6-8 săpt.
-20%